document.write('42 ')