document.write ("9912");