($rule)="$1";
  $hash{$rule}=($hash{$rule}+1);