function is_crawler() { 
    $userAgent = strtolower($_SERVER['HTTP_USER_AGENT']); 
    $spiders = array( 
        'Googlebot', // Google 爬虫 
        'Baiduspider', // 百度爬虫 
        'Yahoo! Slurp', // 雅虎爬虫 
        'YodaoBot', // 有道爬虫 
        'msnbot' // Bing爬虫 
        // 更多爬虫关键字 
    ); 
    foreach ($spiders as $spider) { 
        $spider = strtolower($spider); 
        if (strpos($userAgent, $spider) !== false) { 
            return true; 
        } 
    } 
    return false; 
} 


//php/8945