0) { echo("

" . $page_header . "

\n"); echo("\n"); echo(" \n"); echo(" \n"); echo(" \n"); echo("

\n"); } ?>