document.write (7142);