while {[gets stdin line] >= 0} {
   set num [format "%06d" $line]
   set sum 0
   foreach i {0 1 2 3 4 5} {
      set digit  [string index $num $i]
      set factor [string index "137137" $i]
      set sum [expr $sum + $digit * $factor]
   }
   set sum [expr 9 - $sum % 10]
   set code [string index "ABCDEFGHIK" $sum]
   puts "$num $code"
}