var ext = ".gif";
var lastname = "";

function mouse_over(name, path) {
	if (document.images) {
		document.images[name].src=path+name+"_on"+ext;
		if (lastname!="") document.images[lastname].src=path+lastname+ext;
		lastname=name;
	}
}

function mouse_out(name, path) {
	if (document.images) {
		document.images[name].src=path+name+ext;
		lastname="";
	}
}