//This script changes the graphic on mouse over and a graphic in
//another part of the screen

des0 = new Image();
des0.src = "./images/des_base.gif";

des1 = new Image();
des1.src = "./images/des_home.gif";

des2 = new Image();
des2.src = "./images/des_intro.gif";
 
des3 = new Image();
des3.src = "./images/des_author.gif";

des4 = new Image();
des4.src = "./images/des_archive.gif";

des5 = new Image();
des5.src = "./images/des_contact.gif";

des6 = new Image();
des6.src = "./images/des_links.gif";

des7 = new Image();
des7.src = "./images/des_etc.gif";

nav1_off = new Image();
nav1_off.src = "./images/nav_home1.gif";
nav1_on = new Image();
nav1_on.src = "./images/nav_home2.gif";

nav2_off = new Image();
nav2_off.src = "./images/nav_intro1.gif";
nav2_on = new Image();
nav2_on.src = "./images/nav_intro2.gif";

nav3_off = new Image();
nav3_off.src = "./images/nav_author1.gif";
nav3_on = new Image();
nav3_on.src = "./images/nav_author2.gif";

nav4_off = new Image();
nav4_off.src = "./images/nav_archive1.gif";
nav4_on = new Image();
nav4_on.src = "./images/nav_archive2.gif";

nav5_off = new Image();
nav5_off.src = "./images/nav_contact1.gif";
nav5_on = new Image();
nav5_on.src = "./images/nav_contact2.gif";

nav6_off = new Image();
nav6_off.src = "./images/nav_links1.gif";
nav6_on = new Image();
nav6_on.src = "./images/nav_links2.gif";

nav7_off = new Image();
nav7_off.src = "./images/nav_etc1.gif";
nav7_on = new Image();
nav7_on.src = "./images/nav_etc2.gif";

NS4 = (document.layers) ? 1 : 0;
IE4 = (document.all) ? 1 : 0;
ver4 = (NS4 || IE4) ? 1 : 0;


function imageChange(imageID,imageName,imageID2,imageName2)

{
document.images[imageID].src = eval(imageName + ".src");
document.images[imageID2].src = eval(imageName2 + ".src");
}
