BEGIN {printf "#!/bin/csh -f \n \n set num_at=("}
    {if (NF == 1) printf "%5i",$0}
END {printf ")\n"}