document.write('62500')