{

  tool2= new Image(); tool2.src = "images/tools2_off.gif";
  tool2on = new Image(); tool2on.src = "images/tools2_on.gif";  

  tool4= new Image(); tool4.src = "images/tools4_off.gif";
  tool4on = new Image(); tool4on.src = "images/tools4_on.gif";  

  tool6= new Image(); tool6.src = "images/tools6_off.gif";
  tool6on = new Image(); tool6on.src = "images/tools6_on.gif";


}

function imageChange(imageID,imageName) {

  {
   document.images[imageID].src = eval(imageName + ".src");
  }

}