function show(id) {
		document.getElementById(id).style.display = 'block';
	}

	function hide(id) {
		document.getElementById(id).style.display = 'none';
	}
	
	function hilite(imagename) {
		document.images[imagename].src = eval('o'+imagename+'.src');
		//document.images[imagename].src = 'img/navigation/' + imagename + 'a.png';
	}

	function hiliteOut(imagename) {
		document.images[imagename].src = 'img/navigation/' + imagename + '.png';
	}