// JavaScript Document

function hide_or_show(id){
	var	re = /(^|\s)(hidden)(\s|$)/,
		id = document.getElementById(id);
	if(re.test(id.className))
		id.className = id.className.replace(re, "$1");
	else
		id.className += " hidden";
}
function show_menu(div){
	//div = "bar".concat(div);
	switch(this.valore_div){
		case null:
		case undefined:
			hide_or_show(valore_div = div);
			break;
		case div:
			hide_or_show(div);
			valore_div = null;
			break;
		default:
			hide_or_show(valore_div);
			hide_or_show(valore_div = div);
			break;
	}
	return false;
}


function cambia(ImageName, ImageFile)
{
ImageName.src = ImageFile;
}