document.writeln("9342");