document.write (8250);