#! /pkg/gnu/bin/gawk -f
{ print >> "times.log" }
END { print "Content-type: text/html\n\nthank you!" }