<?
    if ($lastedit)
    print "last modified $lastedit $lasttime<br />";
    print $menu.$banner."<br />".$timer;
    ?>
    </div>