document.write (8940);