img1 = new Image();

img1.src = "/graphics/main/guttmacher_large_on.gif";

img2 = new Image();

img2.src = "/graphics/main/guttmacher_large.gif";

function swap() {
   img=document.getElementById("homelink");
   img.setAttribute("src","/graphics/main/guttmacher_large_on.gif");
}

function swapback() {
   img=document.getElementById("homelink");
   img.setAttribute("src","/graphics/main/guttmacher_large.gif");
}