function get_element(id)
	{
		return document.getElementById ? document.getElementById(id) : document.all[id];
	}

	function hide(obj)
	{
		get_element(obj).style.visibility = 'hidden';
	}
	function show(obj)
	{
		get_element(obj).style.visibility = 'visible';
	}


	function GoURL(url,new_wind)
	{
	 if (new_wind>=1)
	 {
		window.open(url,'',''); return false;
	 } else
		{
		if (navigator.userAgent.indexOf("Opera")!=-1) document.location=url;
			else document.location.href=url;
		}
	}