if (document.images) {
 projects = new Image();
 projects = "../images/projects.jpg";

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

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

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

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

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

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

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

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

 downloadsh = new Image();
 downloadsh.src = "../images/downloadsh.jpg";
 }

function swap_img(myid,mysrc){
 document.getElementById(myid).src=mysrc;
 }