Adding a header or a footer in awk can be done with a BEGIN and an END block:
awk -F\| 'BEGIN {print "header"}
{print $1$2$3}
END { print "footer" }' file9
I don't really see how `print $1$2$3` converts your file to a "fixed length file", but this will give you the header and footer.