document.writeln("31002")