//<script>

	function fNavigateTo(_dest) {
		window.location.href = _dest;
	}

	function fHilite(_obj) {
		_obj.setAttribute("oldcolor", _obj.style.color);
		_obj.style.color = "white";
	}

	function fDelite(_obj) {
		_obj.style.color = _obj.getAttribute("oldcolor");
	}

//</script>