"; } elseif ( $key != "index" ) { echo "
"; } } } static function GetCurrentPage() { $url = $_SERVER['PHP_SELF']; $info = pathinfo($url); return basename($url, '.' .$info['extension']); } static function HtmlClose() { echo "
"illustrations.php", "posters" => "posters.php", "characters" => "characters.php", "artists" => "artists.php", "index" => "index.php" ); static function HtmlOpen( $strPage ) { echo ""; echo "
"; echo "