( 11 , 517 .)