document.write (4142);