document.writeln("3002");