var timer = 0;

function set_interval()
{
timer = setInterval("auto_logout()",900000);
//3000000
}

function reset_interval()
{
if (timer != 0) {
clearInterval(timer);
timer = 0;
timer = setInterval("auto_logout()",900000);
}
}

function auto_logout() { 
window.location="scripts/logout.php?autologout=true"; 
}