( 31 , 517 .)