<?php
if (!isset($theme))
        $theme = "default";

?>