( 16 , 517 .)