for(i=1; i<=7; i++) {
		eval("menu_0"+i+"=new Image()");
		eval("menu_0"+i+".src=\"images/menu_0" + i + "_over.gif\"");
	}

function on(imgNr) {
	document ["menu_0"+imgNr].src="images/menu_0" + imgNr + "_over.gif";
}

function off(imgNr) {
	document ["menu_0"+imgNr].src="images/spacer.gif";
}