<!--

if (document.images) {

var josephf = new Image();
josephf.src = "GRAPHICS/shows_joseph.gif";
var josepho = new Image();
josepho.src = "GRAPHICS/shows_josephDOWN.gif";

var kingsf = new Image();
kingsf.src = "GRAPHICS/shows_kings.gif";
var kingso = new Image();
kingso.src = "GRAPHICS/shows_kingsDOWN.gif";
}

function act(imgName) {
if (document.images) 
document[imgName].src = eval(imgName + "o.src");
}

function inact(imgName) {
if (document.images)
document[imgName].src = eval(imgName + "f.src");
}

// -->