function Obj(id) {
	if(document.all) {
		return document.all(id);
	}
	else {
		return document.getElementById(id);
	}
}

function swapImage(obj) {
	if(obj.src.indexOf("_on")==-1) {
		obj.src = obj.src.replace(".gif", "_on.gif");
	}
}
function restoreImage(obj) {
	obj.src = obj.src.replace("_on", "");
}

function swapBack(num) {
	Obj("mainimg").src = "images/menu"+num+".gif";
}
function restoreBack() {
	Obj("mainimg").src = "images/menu0.gif";
}