#!/bin/rc

awk '{ printf("%4d %s\n", NR, $0); }' $*
