 <?php
function styleSheet($currentCookie){
    # Get Current Style Sheet
    $currentCookie = $_COOKIE["StyleSheet"];
    # Get New cookie file name
    switch($_GET['style']){
        case 1:
            $value = 'style1.css';
        break;
        case 2:
            $value = 'style2.css';
        break;
        case 3:
            $value = 'style3.css';
        break;
        default:
            $value = 'style.css';
        break;
    }
    # If the user views this page, without using
    # style=... then set cookie to the default
    if(!isset($_GET['style'])){
        $value = 'style.css';
    }
    # If the new value doesn't equal the old value allow cookie change
    if(isset($value)||$currentCookie!=$value||isset($currentCookie)){
        setcookie("StyleSheet", $value, time()+600000); /* expires in 10,000 hours*/
        return $_COOKIE["StyleSheet"];
    }else{
        return $_COOKIE["StyleSheet"];
    }
    if(isset($_GET['style'])){
        header("Location: ".$_SERVER['HTTP_REFERER']);
        exit;
    }
}
?>