function logout()
{
var richiesta_logout = null;
	
	function creaXmlHttpReq_logout(handler) {
		var xmlhttp = null;
		try {
			xmlhttp = new XMLHttpRequest();
		} catch(e) {
			try {
					xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
			} catch(e) {
					xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
			}
		}
		xmlhttp.onreadystatechange = handler;
		return xmlhttp;
	}
	
	function funzione_logout()
	{
		if(richiesta_logout.readyState == 4 && richiesta_logout.status == 200)
		{
					nome_utente(); //aggiorna il nome nel div dove c'é scritto benvenuto, <nomeutetnte>
		}
	}
	richiesta_logout = creaXmlHttpReq_logout(funzione_logout);
	richiesta_logout.open("GET","server/logout.php?r="+Math.random());
	richiesta_logout.send(null);
}