document.writeln("10042");