document.writeln("10242");