document.write (" 8250 ");