document.writeln("7002");