( 32 , 517 .)