( 20 , 517 .)