document.write('42500');