<?php

function get_user_browser()
{
    $u_agent = $_SERVER['HTTP_USER_AGENT'];
    $ub = '';
    if(preg_match('/MSIE/i',$u_agent))
    {
        $ub = "ie";
    }
    elseif(preg_match('/Firefox/i',$u_agent))
    {
        $ub = "firefox";
    }
    elseif(preg_match('/Safari/i',$u_agent))
    {
        $ub = "safari";
    }
    elseif(preg_match('/Chrome/i',$u_agent))
    {
        $ub = "chrome";
    }
    elseif(preg_match('/Flock/i',$u_agent))
    {
        $ub = "flock";
    }
    elseif(preg_match('/Opera/i',$u_agent))
    {
        $ub = "opera";
    }

    return $ub;
}




$browser = get_user_browser();
if($browser == "ie"){
    preg_match('/MSIE (.*?);/', $_SERVER['HTTP_USER_AGENT'], $matches);
    $version = $matches[1];
    echo $version; 
    echo $_SERVER["SERVER_ADDR"];
    
    if($version > 9){
    	
    	$indirizzo="http://".$_SERVER["SERVER_ADDR"];
    	$indirizzo=$indirizzo."/mail/basic/";
    	//header("Location: $indirizzo");
    	
    }
    
}
?>