function refresh()
			{
			document.location.reload();
			return false;
			}
			document.oncontextmenu = refresh;