document.write("9912");