function UpdateNavMenu(theId){	
	highlightLink = document.getElementById(theId);
	highlightLink.style.backgroundColor = "#ffcc66";
	return true;
}

function UpdateChapter(theId, Colour){
	highlightLink = document.getElementById(theId);
	highlightLink.style.backgroundColor = Colour;
	return true;
}

function ScrollMain(theElement){
	var theURL = new String(self.location);
	theURL = theURL.replace(/#.*$/, "");
	self.window.location = theURL + theElement.value;
	return false;
}

function JumpInDoc(theId){
	var theURL = new String(self.location);
	theURL = theURL.replace(/#.*$/, "");
	self.window.location = theURL + theId;
}