document.writeln("10012");