//Below is the code that pre-loads the graphics 
 {

//These are the large images
 alt0 = new Image();
 alt0.src = "images/coal1.jpg";

 alt1 = new Image();
 alt1.src = "images/coal1.jpg";

 alt2 = new Image();
 alt2.src = "images/coal2.jpg";
 
 alt3 = new Image();
 alt3.src = "images/coal3.jpg";
 
 alt5 = new Image();
 alt5.src = "images/coal5.jpg";

 alt6 = new Image();
 alt6.src = "images/coal6.jpg";

//These are the first button graphics

 graphic1= new Image();
 graphic1.src = "images/coal1_tn.jpg";
 graphic1on = new Image();
 graphic1on.src = "images/coal1_tn.jpg";

 graphic2= new Image();
 graphic2.src = "images/coal2_tn.jpg";
 graphic2on = new Image();
 graphic2on.src = "images/coal2_tn.jpg";
 
 graphic3= new Image();
 graphic3.src = "images/coal3_tn.jpg";
 graphic3on = new Image();
 graphic3on.src = "images/coal3_tn.jpg";
 
 graphic5= new Image();
 graphic5.src = "images/coal5_tn.jpg";
 graphic5on = new Image();
 graphic5on.src = "images/coal5_tn.jpg";
 
 graphic6= new Image();
 graphic6.src = "images/coal6_tn.jpg";
 graphic6on = new Image();
 graphic6on.src = "images/coal6_tn.jpg";

//This is the function that calls for
 //the change in the buttons 

 }
 function imageChange(imageID,imageName,imageID2,imageName2) { 

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

 }


// JavaScript Document