document.writeln("12002")