function changeCol(state, source)
{
  if (state == "over")
  {
   // ohne 'var', damit global und Zugriff über onMouseOut möglich
    oldBackCol = source.style.backgroundColor;
    oldForeCol = source.style.color;
    source.style.backgroundColor = "rgb(64,102,153)";
    source.style.color = "rgb(255,255,255)";
  }
  if (state == "out")
  {
    source.style.backgroundColor = oldBackCol;
    source.style.color = oldForeCol;
  }
}