document.writeln("3500");