( 12 , 520 .)