$styleCookie = $HTTP_COOKIE_VARS["style"]; 

switch($styleCookie) 
 { 
  case "style_3"; 
  $styleCookie = "style_3";
  break; 
   
  case "style_2";   
  $styleCookie = "style_2";       
  break; 
  	   
  default;
  $styleCookie = "style_1"; 
  break;    
 } 
  