document.write (" 9500 ");