<?php

if (isset($_COOKIE['TourmentineThemeCookie']))
{
        $cookie_info = explode("-", $_COOKIE['TourmentineThemeCookie']);
        $theme= $cookie_info[0];
}

if (!isset($theme))
        $theme = "default";

?>