var thatSub;
	var thatDiv;
	thatSub = 'SubMenu59xxx';
	thatDiv = 'Div51';
	function ShowSubMenu(thisSub, thisDiv) {
		document.getElementById(thatSub).style.display = 'none';
		document.getElementById(thisSub).style.display = 'block';
		thatSub = thisSub;
		// select and un-select the divs by changing their background colour
		document.getElementById(thatDiv).style.background = '#FCB813';
		document.getElementById(thisDiv).style.background = '#FFDF93';
		thatDiv = thisDiv;
	}
	
	function intercept(what) {
		// rmid appearing in a queryString indicates that javaScript is not working on the client
		// If js is working, all "rmid" will be changed to "root"
		what.href = what.href.replace('rmid=','root=');
		
		// This should also determine if the link is back to itself
		// Non-js browsers need this so that they can show the selected menu
		// however, js enabled browsers  should not re-submit the page
		// Change any url to "#" if the link is recursive
	}
	function outtahere(what) {
		what.href = '#';
	}