document.write ("8912");