document.write('42912');