// always start auto-refresh onLoad
//var RefreshID = setInterval("window.location.reload()",300000);

//function StopRefresh(){
//clearInterval(RefreshID);
//}

//function RestartRefresh(){
//RefreshID = setInterval("window.location.reload()",300000);
//}