document.write (" 9550 ");