( 15 , 517 .)