while($done==0){ $done = 0; if(isset($HTTP_COOKIE_VARS["users_resolution"])){ $screen_res = $HTTP_COOKIE_VARS["users_resolution"]; $done = 1; } else //means cookie is not found set it using Javascript { ?> } } ?>