( 7 , 507 .)