// JavaScript Document

function swapImg(id) {
	if( document.getElementById ) {
		document.getElementById(id).src = "./images/" + id + "_ov.gif";
	}
	id2 = id;
}

function restoreImg() {
	if( document.getElementById ) {
		document.getElementById(id2).src = "./images/" + id2 + ".gif";
	}
}