document.write (9940);