	<!-- // Begin Javascript Code
	red = new Image(117,24);
	red.src = "img/nav-button-on.gif";
	clear = new Image(117,24);
	clear.src = "img/nav-button-off.gif";
	
	function redButton(imgid) {
		document.getElementById(imgid).src = red.src;
		return true;
	}

	function clearButton(imgid) {
		document.getElementById(imgid).src = clear.src;
		return true;
	}
	
	// end javascript code --->