--- mobile_eye/mobile_eye.php-orig	2007-11-24 21:30:32.000000000 -0800
+++ mobile_eye/mobile_eye.php	2007-11-24 21:29:30.000000000 -0800
@@ -18,7 +18,7 @@
 function is_mobile() {
 	$pattern = // 1段目:先頭から含む, 2段目:途中に含む
 		"/^(?:DoCoMo|KDDI|SoftBank|Vodafone|J-PHONE|UP\.Browser|MOT-|L-mode|Nokia|PDXGW)|".
-		"SHARP\/WS.*?Opera|WILLCOM|DDIPOCKET|Opera Mini/";
+		"SHARP\/WS.*?Opera|WILLCOM|DDIPOCKET|Opera Mini|Mozilla\/4\.0 \(compatible; MSIE 4\.01; Windows CE/";
 
 	return preg_match($pattern, $_SERVER['HTTP_USER_AGENT']);
 }