document.writeln("31001")