<!--
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

function MM_goToDocumenti() { //v3.0
	var url=document.frmDoc.documenti[document.frmDoc.documenti.selectedIndex].value;
	//alert("URL="+ url);
	//alert("URL");
	if (url!='') top.document.location.href=url;
}

-->