Normal = new Image();
Normal.src = "/images/top_a.gif";     /* erste Standard-Grafik */
Highlight = new Image();
Highlight.src = "/images/top_b.gif"; /* erste Highlight-Grafik */


function Bildwechsel()
{
  if (document.images)
    document.top.src = Highlight.src;
}
function Bildwechsel_out()
{
  if (document.images)
    document.top.src = Normal.src;
}