document.write(' 7500 ');