/* -------- graf script ------------ modified 28 December 2007 -------------- */
//
// 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;
  }
// ------------------