var refresherImg = null;
var refreshTime = 10 * 60 * 1000; //10 minutes
window.setTimeout("UpdateRefresherImg()", refreshTime);

function UpdateRefresherImg()
{
	if ((typeof(refresherImg)=="undefined") || (refresherImg == null))
	{
		refresherImg = document.createElement("IMG");
		refresherImg.width = 1;
		refresherImg.height = 1;
	}
	var renovatorsrcl = "";
	renovatorsrcl = "SessionRefresher.aspx?num=" + Math.round(Math.random() * 1000000);
	refresherImg.src = renovatorsrcl;
	window.setTimeout("UpdateRefresherImg()", refreshTime);
}