/*
	hook for reference sites
*/
	function reference()
	{
		// nothing for now
	}

	function redir()
	{
		url_value = document.url_filter.url.options[document.url_filter.url.selectedIndex].value;
		if (url_value != "none")
		{
			location.href = url_value;
		}
	}