function timed_refresh(timeout_period)
{
	setTimeout('document.location.href = document.location.href.replace("/refresh/1", "");', timeout_period);
}