function hi (image,lang) {
	if (document.images) {
		document.images["navi_"+image].src = "/gfx/navi" + lang +"_sel_" + image + ".gif";
	}
}

function lo (image,lang) {
	if (document.images) {
		document.images["navi_"+image].src = "/gfx/navi"+ lang +"_" + image + ".gif";
	}
}