document.write('42 ');