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