document.writeln("93012")