/*
Explication du script : 

A chaque fois que la souris bouge, on remet le chrono à 5 minutes. Dès que le chrono atteint 0, on appelle la fonction deco_auto().
*/
var temps=300000;

function addEvent(obj, event, fct) {
    if (obj.attachEvent)
        {obj.attachEvent("on" + event, fct);}
    else
        {obj.addEventListener(event, fct, true);}
}

addEvent(document, "mousemove", Reset);
addEvent(window, "load", chrono);

function Reset()
{
	temps=300000;
}

function deco_auto()
{
	document.location.href="gestion_php/deco_auto.php";
}


function chrono()
{
	temps -= 10000;

	if(temps<=0)
	{
		deco_auto();
	}
	setTimeout("chrono()", 10000);
}