document.write (8142);