( 517 , 4)