上午十時半，國企指數報9417點，升19點。