<?php // -*-html-*-
rcs_id('$Id: top.tmpl,v 1.1 2004/06/11 09:01:51 rurban Exp $');
?>
<!-- Page title -->
<a name="top" id="contentTop"></a>
<h1 class="firstHeading"><?= $HEADER ?></h1>
