var prefix = "./img/";
var im_over = new Array();
var im_out = new Array();

function email(a,b) {
	top.location.href = unescape("%6d%61%69") + unescape("%6c%74%6f%3a") + a + unescape("%40") + b;
}

function preload() {
	for (i = 0; i < ims.length; i++) {
		im_over[i] = new Image; im_over[i].src = prefix + ims[i] + "_on.gif";
		im_out[i] = new Image; im_out[i].src = prefix + ims[i] + "_off.gif";
	}
}

function m(i,o) {
	if (o == 1) document.images[ims[i]].src = im_over[i].src
	else document.images[ims[i]].src = im_out[i].src
}