#!/bin/ksh
#
# $Revision: 1.2 $ $Date: 2012-07-26 17:11:47-04 $
# $Source: /home/vogelke/bin/RCS/ht,v $
# $Host: sys7.com $
# $UUID: cd0cb553-cbd7-38d2-8f7a-94ab4bef6205 $
#
#<ht: head and tail of file

export PATH=/usr/local/bin:/bin:/usr/bin
head -5 ${1+"$@"} && echo '==============' && exec tail -5 ${1+"$@"}
exit 1