if (document.images) {
	menuTabOn = new Array();
	menuTabOff = new Array();
	for (i=1; i<=9; i++) {
		menuTabOn[i] = new Image();
		menuTabOff[i] = new Image();
		menuTabOn[i].src = "images/tab"+i+"on.gif";
		menuTabOff[i].src = "images/tab"+i+".gif";
	}
}
function changeTabMenu(act,num) { 
	if (document.images) { 
		if (act) document.images["menuTabImg"+num].src = menuTabOn[num].src;
		else document.images["menuTabImg"+num].src = menuTabOff[num].src;
	}
}