document.writeln("9942");