( 13 , 507 .)