#!/usr/bin/ruby

n = 0;
while ( line = gets )
  n += 1
  printf("%5d: ", n)
  puts line
end
print "\n#{n} lines\n"