document.writeln("10942");