// JavaScript Document
 if(document.images) {
    pics = new Array();
    pics[01] = new Image();
    pics[01].src = "images/info-exhausto.png";
    pics[02] = new Image();
    pics[02].src = "images/info-lawler.png";
    pics[03] = new Image();
    pics[03].src = "images/info-proset.png";
    pics[04] = new Image();
    pics[04].src = "images/info-pvi.png";
    pics[05] = new Image();
    pics[05].src = "images/info-schier.png";
    pics[06] = new Image();
    pics[06].src = "images/info-speakman.png";	
    pics[07] = new Image();
    pics[07].src = "images/info-t-drill.png";
	pics[08] = new Image();
	pics[08].src = "images/catalog-info.png";
	
  }
    function changer(from,to) {
    if(document.images) {
    document.images[from].src = pics[to].src;
    }
  }