function img_highlight(image) {
	image.src = "images/" + image.name + "_on.jpg";
}

function img_normal(image) {
	image.src = "images/" + image.name + ".jpg";
}

function menu_prepare() {
	for (i = 0; i < document.images.length; i++) {
		var imgname = document.images[i].name;
		if (imgname.substr(0, 6) == 'hmenu_') {
			img = new Image();
			img.src = "images/" + imgname + "_on.gif";
		}
	}
}