( 20 , 507 .)