document.write (" 9450 ");