var relocation;
function reload_do()
{
	location.href = relocation;	
}
function reload(location)
{
	relocation = location;
	window.setTimeout("reload_do();",3000);
}