document.write (7742);