1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11: 12:
// GET MY AGENT $my_agent = $_SERVER["HTTP_USER_AGENT"] $bot_agents = array( msnbot, googlebot, slurpcat ); $a_ok = TRUE; foreach $bot_agents as $bot { if ($bot == $my_agent) $a_ok = FALSE; } if ($a_ok === TRUE) /* PRODUCE THE DIV */