document.write('37500');