document.write (3142);