document.write ("7500");