document.write (6142);