document.write('62500');