function ge(what){
	return document.getElementById(what);
}



function changeKeyvisual_nav(element)
{
	
	if(element !='')
	{
		ge('keyvisual_nav_pic').innerHTML ='<img src="fileadmin/keyvisual_pic/keyvisual_nav_' +element+ '.jpg">';
		
	
	}
	else
	{
		ge('keyvisual_nav_pic').innerHTML ='';
		
	}


}