document.write (9440);