lain", body}
    end handle IO.Io {...} =>
	Http.makeResponse
	    {statusCode = 404, contentType = "text/plain",
	     body = notFoundDocument}

val port = HttpServer.start NONE
val _ = HttpServer.register (Url.empty, documentHandler)
val _ = TextIO.print ("started server at port " ^
		      Int.toString port ^ "\n")
</PRE>

<?php footing() ?>
