// JavaScript Document

function imgchange(id){
	document.getElementById(id).src='Bilder/main_nav_'+id+'_hover.jpg';
}
function imgchange_back(id){
	document.getElementById(id).src='Bilder/main_nav_'+id+'.jpg';
}