document.writeln("1000");