function swapImage (obj) {
	if (!obj.src.match(/_over/)) {
		obj.src = obj.src.replace(/\.gif/, "_over.gif");
	}
}

function restoreImage (obj) {
	obj.src = obj.src.replace(/_over/, "");
}