function faderinit()
{       // Fader for logo (present on all pages so included in tools)
 function setopacity(obj,opacity)
 {
  if(opacity<0)opacity=0;
  obj.style.filter = "alpha(opacity:"+Math.round(opacity*100)+")";         // IE/Win
  obj.style.KHTMLOpacity = opacity;        // Safari<1.2, Konqueror
  obj.style.MozOpacity = opacity;          // Older Mozilla and Firefox
  obj.style.opacity = opacity;     // Safari 1.2, newer Firefox and Mozilla, CSS3
 }
 var b=document.getElementById("logoB");
 var f=document.createElement("img");
 setopacity(f,0);
 b.parentNode.insertBefore(f,b);
 var a=Math.PI*2;
 setInterval(function()
 {
  if(a>=Math.PI*2)
  {
   a-=Math.PI*2;
   var fn="/images/logo_"+(Math.random()>0.9?"D":"F")+".png";
   if(fn!=f.src)f.src=fn;
  }
  var q=Math.cos(a);
  setopacity(b,q);
  setopacity(f,-q);
  a+=0.05;
 },50);
}