( 12 , 517 .)