var srcover = new Array();
srcover[0] = new Image(); 
srcover[0].src = 'img/mm_kontakt.jpg';
srcover[1] = new Image(); 
srcover[1].src = 'img/mm_downloads.jpg';
srcover[2] = new Image(); 
srcover[2].src = 'img/mm_portfolio.jpg';
function mainmenu_over(a) {
	var name = a.href.substring(a.href.lastIndexOf('/')+1, a.href.lastIndexOf('.'));
	document.getElementById('mm').src = 'img/mm_' + name + '.jpg';
}
function mainmenu_out() {
	document.getElementById('mm').src = 'img/mm.jpg';
}