document.write('42500')