function MenuClassChange(id)
{
      	document.getElementById(id).className="HauptMenuActiv";
}


function ReMenuClassChange(id)
{
      	document.getElementById(id).className="HauptMenu";
}