( 15 , 507 .)