Source code quote in PHPn° 129

if(($_COOKIE["Desktop"] == '1' OR $HTTP_COOKIE_VARS["Desktop"] =='1'))
{
	$desktop = 1;
}
else 
{
	$desktop = 1;
}