document.write ('7500');