document.writeln("12002");