( 31 , 507 .)