document.write('42067')