小行星9517

小行星9517 （ 聶海勝星 ） 是一顆小行星 ， 以中國航天員聶海勝命名的 。