小行星25517

小行星25517 （ 25517 Davidlau ） 是一顆繞太陽運轉的小行星 ， 爲主小行星帶小行星 。 該小行星於1999年12月發現 。