#!/bin/sh

# echo HTTP/1.0 200 OK
echo Content-type: text/html
echo Server: $SERVER_SOFTWARE
echo
echo \<html\>\<title\>search results \</title\>
echo \<body\> File sizes and dates: 
ls -l /home/tten/publ*html/MRSEC/Publications/* | sed -e 's/^.*     \(.*\)home.*/\1 /'
#  echo \<p\>

# echo Your query string was \<b\>${QUERY_STRING}\</b\>\<hr\>
# echo
#
/a1/httpd/cgi-bin/pubgrep $QUERY_STRING
grep -iv private /tmp/queryoutput | head -100 | sed -e 's/^/<hr>/' | sed -e 's/\	/<br>/g'
echo \</body\>\</html\>
#
#  done