//timedouturl = "session_timeout.php";

function Display(min, sec) {
var disp;
if (min <= 9) disp = " 0";
else disp = " ";
disp += min + ":";
if (sec <= 9) disp += "0" + sec;
else disp += sec; 
return (disp);
}
function Down() { 
sec--;      
if (sec == -1) { sec = 59; min--; }
if (min == 0 && sec == 0) {
//window.location.href = $('redirect_on_timeout').value;
window.location.href = '/timeout_redirect.php?go='+timeouturl;
alert("Your session has timed out due to inactivity.");
}
else down = setTimeout("Down()", 1000);
}
function timeIt() {
min = 15;
sec = 0;
Down();
}

document.observe('dom:loaded', timeIt);