document.write ("7912");