function onmouse(el) {
	document.getElementById(el).src='/images/'+el+'2.gif';
	document.getElementById(el).title='';
	}

function outmouse(el) {
	document.getElementById(el).src='/images/'+el+'1.gif';
	}