document.write('7500 ');