<?php
if (isset($_COOKIE['TourmentineThemeCookie']))
{  
	setcookie ("TourmentineThemeCookie",$theme, $time+3600);
}
else
{
	$cookie_info=explode("-", $_COOKIE['TourmentineThemeCookie'];
	$theme= $cookie_info[0];
}
?>