// preload images
var navHi=new Image();
var navLo=new Image();
var p = document.URL.indexOf("index_");
var path="";
if(p>0)path="../";
navHi.src=path + "images/navi_punkt_a.gif";
navLo.src=path + "images/navi_punkt_na.gif";

// mouseover functions
function imgHi(nr) {
	document.images['imgnav'+nr].src=navHi.src;
}

function imgLo(nr) {
	document.images['imgnav'+nr].src=navLo.src;
}