document.write ("7912")