document.writeln("9912");