if ($_SESSION['THEME'] !== 'default') {?>
} ?>
Server Variables"; foreach ($_SERVER as $key=>$val) echo "
".$key."=
".$val." "; ?> Session Variables"; foreach ($_SESSION as $key=>$val) echo "
".$key."=
".$val." "; ?>