<!-- Start JavaScript
 browser1 = ((navigator.appName == "Netscape") && (parseInt(navigator.appVersion) >= 3 ))
 browser2 = ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4 ))
 if (browser1 || browser2) {
        wall_main = new Image(159,180);
        wall_main.src = "images/wallycp.gif";
        var imgwall=wall_main.src;
        wall_js = new Image(159,180);
        wall_js.src = "images/wallycp1.gif";
        wall_emo = new Image(159,180);
        wall_emo.src = "images/wallycp2.gif";
        wall_aaf = new Image(159,180);
        wall_aaf.src = "images/wallycp3.gif";
        wall_ascii = new Image(159,180);
        wall_ascii.src = "images/wallycp4.gif";
        wall_flags = new Image(159,180);
        wall_flags.src = "images/wallycp5.gif";
	}

function imgDown(imgName) {
  if (browser1 || browser2) {
        imgOn2 = eval("wall_"+imgName + ".src");
        document.wall.src = imgOn2;
  }
}

function imgUp(imgName) {
  if (browser1 || browser2) document.wall.src = imgwall;
}

// Eind JavaScript -->