{
  num = sprintf("%06d", $1)
  sum = 0
  for (i=1; i<=6; i++) {
    sum += substr("137137",i,1) * substr(num,i,1)
  }
  $1 = num " " substr("ABCDEFGHIK",10 - sum % 10,1)
  print $0
}