// JavaScript Document

<!--
function showContent (page, obj) {
document.getElementById("content").innerHTML = document.getElementById(page).innerHTML;
deselect();
obj.className = "TDon";
obj.id = "selected";
//alert (obj.id);
document.location='#go';}

function deselect() {
	if (document.getElementById("selected"))
	{
	document.getElementById("selected").className="TDout";
	document.getElementById("selected").id="";
	}
}

function mouseout(obj) {
	if (obj.id && obj.id=="selected") 
	{ 
	}else{
	obj.className="TDout";
	}
}

function select_menu() {
	elements=document.anchors;
		for (i=0;i<elements.length;i++) {
			if (elements[i].href==window.location.href) {
			elements[i].className = "coloured_menu_selected";
			}
		}
}

-->