function imgswap(imgnum,imgsrc) {
	withroot = 'images/nav/' + imgsrc + '.gif';
	document.images[imgnum].src = withroot;
	}

function getObj(obj) {
	var objRef;

	if(document.all) {
	objRef = eval("document.all." + obj);
	}
	if(document.layers) {
	objRef = eval("document.layers['" + obj + "']");
	objRef.style = objRef;
	}
	if(document.getElementById) {
	objRef = document.getElementById(obj);
	}

	return objRef;
	}

function show(obj) {
	getObj(obj).style.visibility='visible';
	}

function hide(obj) {
	getObj(obj).style.visibility='hidden';
	}