// For highlighting images.
function highlight(img, location, newimg, desc) {
	if (document.images) {
		document.images[img].src = location + newimg;
	}
	if (desc) {
		window.status = desc;
		return true;
	}
}

// For unhighlighting images.
function unhighlight(img, location, newimg) {
	if (document.images) {
		document.images[img].src = location + newimg;
	}
	window.status = "";
	return true;
}