( zeller | 2011. 02. 15., k – 15:58 )

awk '{printf "%04d;%08d;", NR, $1;
      $1=""; 
      print $0;}'