document.write('     42')