0 or isset($_SERVER['HTTP_X_WAP_PROFILE']) or isset($_SERVER['HTTP_PROFILE'])) { $result=true; } if (strpos(strtolower($_SERVER['ALL_HTTP']),'OperaMini') > 0) { $result = true; } if (strpos(strtolower($_SERVER['HTTP_USER_AGENT']),'windows') > 0) { $result = false; } } ?>