document.write('
42
');