<?PHP print(strip_tags($Label)); ?>
>
HasPriv(PRIV_SYSADMIN)) { ?>
page gen time: seconds      version:     database name:     db cache rate: CacheHitRate(), $DB->NumCacheHits(), $DB->NumQueries()); ?>