var t;
window.onload=resetTimer;
document.onkeypress=resetTimer;
document.onmousemove=resetTimer;

function logout()
{
	//alert("Vous avez ete deconnecte.")
	location.href='logout.php';
}
function resetTimer()
{
	clearTimeout(t);
	t=setTimeout(logout,1800000);// 1800000 logs out in 30 minutes 1000=1seconde
	
	
	
	
}