Meanings of asteroid names (9501-10000)