insert file?

[Alan Cox]

> head -n 3 file;who;tail -n $(echo "$(wc -l file | cut -d " " -f 1) -3" |bc) file

( head -n3 file; who; tail +3 file) > newfile 2> errors

Much easier ;)