document.write (1142);