if (!document.images) {}
 else {
     history0 = new Image();
     history0.src  = "images/history.gif";
     history1 = new Image();
     history1.src = "images/history_on.gif";
     history2 = new Image();
     history2.src = "images/history.gif";
     
     facilities0 = new Image();
     facilities0.src  = "images/facilities.gif";
     facilities1 = new Image();
     facilities1.src = "images/facilities_on.gif";
     facilities2 = new Image();
     facilities2.src = "images/facilities.gif";

     publications0 = new Image();
     publications0.src  = "images/publications.gif";
     publications1 = new Image();
     publications1.src = "images/publications_on.gif";
     publications2 = new Image();
     publications2.src = "images/publications.gif";
     
     manufacture0 = new Image();
     manufacture0.src  = "images/manufacture.gif";
     manufacture1 = new Image();
     manufacture1.src = "images/manufacture_on.gif";
     manufacture2 = new Image();
     manufacture2.src = "images/manufacture.gif";     


 }