document.write ("7932");