function printthis()
{
  if((navigator.appVersion.indexOf("4.")!=-1)&&(navigator.appName.indexOf("Netscape")!=-1) ||  (navigator.appVersion.indexOf("5.")!=-1)&&(navigator.appName.indexOf("Microsoft")!=-1))
  {print();}
}

function anibild(bild,deckung)
{
  if (bild.filters)
  {
    bild.filters.alpha.opacity=deckung;
  }
}