document.writeln("10040");