#!/bin/sh echo Content-type: text/html ; echo if [ $# = 0 ] ; then cat << EOM
EOM /usr/ucb/finger "$*" cat << EOM