function preload(src) {
	var img = new Image();
	img.src = src;
}

function hilite(id, base) {
	var e = document.getElementById(id);
	if (e) {
		e.onmouseover = function() { e.src = base + "-h.png"; };
		e.onmouseout  = function() { e.src = base + "-i.png"; };
		e.onmousedown = function() { e.src = base + "-d.png"; };
		e.onmouseup   = function() { e.src = base + "-h.png"; };
		preload(base + "-h.png");
		preload(base + "-i.png");
		preload(base + "-d.png");
	}
}
