12580 , 3 .)