( 13 , 580 .)