if(top.frames.length > 0)
 top.location.href=self.location;
if (document.images != null)
{
 sprachen  = new Image(99,14);
 sprachen.src  = "/micons/sf_sprache.gif";
 spracheh  = new Image(99,14);
 spracheh.src  = "/micons/sf_sprache_h.gif"; 
}
function Bildwechsel(bild,ziel) 
{
 if (document.images != null)
 {
  document.images[ziel].src = eval(bild +".src")
  return true;
 }
}