var fini=false;function loadtimer(delay){setTimeout('loaddone()', delay);};function loaddone(){	fini='true';};function reloader(){if (fini=='true')	{	document.location.reload();	}};