// JavaScript Document
function mainmenu_animate_hover( menuname ){
	var objmenu = document.getElementById('mainmenu_image_'+menuname);
	if(objmenu!=null){
		objmenu.src='images/menu_'+menuname+'_hover.jpg';
	}
}
function mainmenu_animate_out( menuname ){
	var objmenu = document.getElementById('mainmenu_image_'+menuname);
	if(objmenu!=null){
		objmenu.src='images/menu_'+menuname+'.jpg';
	}
}