document.write ("7500")