#! awk
# Number non-empty lines
{ if (NF > 0 ) printf( "%d ",  ++line );
   print; }