$user_agent=(!isset($HTTP_SERVER_VARS["HTTP_USER_AGENT"]) ? "" : $HTTP_SERVER_VARS["HTTP_USER_AGENT"]);
if (ereg("[[:<:]]MSIE ([0-9]+)\\.",$user_agent,$msie_major_a))
$user_agent=(!isset($HTTP_SERVER_VARS["HTTP_USER_AGENT"]) ? "" : $HTTP_SERVER_VARS["HTTP_USER_AGENT"]);
if (ereg("[[:<:]]MSIE ([0-9]+)\\.",$user_agent,$msie_major_a))