//Paul's Highlight for left nav
var original;

function highlightCurrent(current){
	if (document.getElementById("highlight").textContent) {
		original = document.getElementById("highlight").textContent;
		document.getElementById("highlight").textContent = current;
	}
	else if (document.all) {
		original = document.getElementById("highlight").innerText;
		document.getElementById("highlight").innerText = current;
	}
}
function highlightOriginal()
{
	if (document.getElementById("highlight").textContent)
		document.getElementById("highlight").textContent = original;
	else if (document.all)
		document.getElementById("highlight").innerText = original;
}