document.write('7500')