document.write (9240);