/* ------------- toggle scripts ---------------- modified 18 February 2009 ---------- */
 function flash(obj,numbr)
  { var bg=(numbr==1)?"#000080" : "#6CABDE";
    var fg=(numbr==1)?"#0FF" : "#FFF";
    obj.style.backgroundColor=bg;
    obj.style.color=fg;

  }
// -----------------------------
// counter cover script
 var covering=true;   // global
 function stats()
   { var pnt=(covering==true)?"1":"3";
     document.getElementById("cntTop").style.zIndex=pnt;
     covering=(covering==true)?false:true;   
   }