document.write (7940);