// mouseover.js

// Mouseover image-switcher

function image_name(img, s)
{
	return img.src.substring(0, img.src.length - 5) + s +
	       img.src.substring(img.src.length - 4);
}
function mouseout(img) { img.src = image_name(img, "0"); }
function mouseover(img) { img.src = image_name(img, "1"); }
function onclick(img) { img.src = image_name(img, "2"); }

var prefetched1 = new Array;  // placate stupid NS 3.0 bug
var prefetched2 = new Array;  // ditto
function preload_mouseover_images(img)
{
	var i;
	i = prefetched1.length;
	prefetched1[i] = new Image(img.width, img.height);
	prefetched1[i].src = image_name(img, "1");
	i = prefetched2.length;
	prefetched2[i] = new Image(img.width, img.height);
	prefetched2[i].src = image_name(img, "2");
}

// end mouseover.js