<? // -*- html -*-
// $Id$
require_once("docutil.php");
page_head("<code>start</code> Tool");
?>
TODO: document start
<?
page_tail();