document.write (6042);