document.writeln("10094") document.writeln("