#!/bin/sh 
echo Content-type: text/html ; echo 
if [ $# = 0 ] ; then
  cat << EOM 
  <html><head><title>Finger</title></head> 
  <body><h1>Finger Gateway</h1> 
  Finger?<ISINDEX></body></html> 
EOM
else
  cat << EOM 
  <html><head><title>Finger Response </title></head> 
  <body><h1>Finger Response</h1><pre> 
EOM
  /usr/ucb/finger "$*" 
  cat << EOM 
  </pre></body></html> 
EOM
fi 
