function nav_over(ident) {
	document.getElementById(ident).src='index/'+ident+'1m.gif';
}
function nav_out(ident) {
	document.getElementById(ident).src='index/'+ident+'1.gif';
}