/* ------- graf script ------ modified 3 February 2009 ---- */
// toggles graf image
 function bin(obj,numb)
  { var prt=(numb=="_1")?"_2" : "_1";
    var newSrc=obj.src.replace(numb,prt);
    obj.src=newSrc;
    return true;
  }