<p>This page has been accessed <?php $page =
$_SERVER['PHP_SELF']; include('/library/webserver/cgi-executables/counter.php'); echo
ShowCount($page); ?> times. </p>
