function mouseOver(name, objSrc) {
	document.images[name].src=objSrc;
} // function mouseOver


function mouseOut(name, objSrc) {
	document.images[name].src=objSrc;
} // function mouseOut