function button_in(bname)
{
	document.getElementById(bname).className = "button_hover";
}

function button_out(bname)
{
	document.getElementById(bname).className = "button";
}

function sitemap_in(bname)
{
	document.getElementById(bname).className = "sm_unterpunkt_hover";
}

function sitemap_out(bname)
{
	document.getElementById(bname).className = "sm_unterpunkt";
}