document.writeln("10072");