function mOver(a) {
	document.getElementById('nav' + a).src='images/nav/' + a + '_a.gif';	
}
function mOut(a) {
	document.getElementById('nav' + a).src='images/nav/' + a + '.gif';
}