document.write ("912");