// preload mouseover images and set up javascript handling for them, if possible
if (document.images) {
  if (switchimg = document.getElementById("switchimage")) {
    (new Image()).src = "../img/jekyll-top.gif";
    (new Image()).src = "../img/hyde-top.gif";
    switchimg.onmouseover = function() { document.image1.src = "../img/hyde-top.gif"; }
    switchimg.onmouseout = function() { document.image1.src = "../img/jekyll-top.gif"; }
  }
}