document.write ('42');