SiteKeywords()), ENT_QUOTES); if (!isset($PageGenerationBeginTime)) { $PageGenerationBeginTime = getmicrotime(); } # note: there cannot be any whitespace before the DOCTYPE ?> 0) { ?> " /> " /> Query("SELECT * FROM RSSConfiguration"); $RssInfo = $DB->FetchRow(); if ($RssInfo["NotifyBrowser"]) { ?> " href="index.php?P=RSS" type="application/rss+xml" /> <?PHP print(PageTitle()); ?> Skip Navigation

PortalName()); ?>

IsLoggedIn() == TRUE) { ?> Logged in as: Get("UserName"); ?>
Jump to navigation