##       highest filename [howmany]##       Print howmany highest-numbered lines in file filename.#       The input file is assumed to have lines that start with#       numbers.  Default for howmany is 10.#filename=$1filename=${filename:?"missing."}howmany=$2sort -nr $filename | head -${howmany:=10}