#!/usr/bin/gawk -f

BEGIN {

  n = 0;
  while(ARGV[n + 1]) {
    files[n] = ARGV[n + 1];
    delete ARGV[i];
    ++n;
  } # for

  for(i = 0; i < n; ++i) {
    input = files[i];
    while(getline < input) forms[$2] += $1;
    close(input);
  } # for

  for(form in forms) {
    printf("%10d\t%s\n", forms[form], form) | "sort -rn";
  } # for
  close("sort -n");
}