document.write ('42 ');