function user_is_bot($agent) {
$botlist = array("alexa", "appie", "Ask Jeeves", "crawler", "FAST",  
"froogle", "Firefly", "girafabot", "Googlebot", "InfoSeek", "inktomi",  
"looksmart", "NationalDirectory", "rabaz", "Scooter", "Slurp", "Spade",  
"TECNOSEEK", "Teoma", "msnbot", "psbot", "bot@bot.bot", "Mediapartners-Google", "Twiceler", "WebBug", "WebFindBot", "URL_Spider_SQL",  
"ZyBorg");
 foreach ($botlist as $s){  
  if (strpos($agent, $s)!== false){
   return 1;
  }
 }
 return 0;
}
function get_server_load(){
 $load = @exec('uptime');
 if (!$load) {
  return 0;
 }
 $load = split('load averages?: ', $load);
 $load = explode(',', $load[1]);
 return trim($load[0]);
}