/* ------- graf script ------ modified 4 April 2009 ---- */
// toggles graf image
 function bin(obj,numb)
  { var prt=(numb==1)?"_2" : "_1";
    var newSrc=obj.src.replace("_"+numb,prt);
    obj.src=newSrc;
  }
// ----------