document.writeln(4002);