document.writeln("942");