/* ==== graf link ============= modified 9 May 2008 ========= */
// switches graf image on mouseover
// graf button toggle
function bin(obj,num)
  { var pnt=(num==1)?"_2" :"_1";
    var newSrc=obj.src.replace("_"+num,pnt) 
    obj.src=newSrc;
  }
//