function over(param)
{
  farbe = new String(param);
  document.getElementById(farbe).bgColor = "#9D0C15" ;
}

function out(param)
{
  farbe = new String(param);
  document.getElementById(farbe).bgColor = "#CFCFCF" ;
}