document.write (" 9501 ");