//funzione x selezionare tutto il testo di una textarea sul click
function select_all()
{
	var text_val=eval("document.form1.textarea");
	text_val.focus();
	text_val.select();
}

/**********CODICE PER IL MENU A TENDINA*********/


//controllo il sistema operativo
var OSName="Undefined OS";
if (navigator.appVersion.indexOf("Win")!=-1) OSName="Windows";
if (navigator.appVersion.indexOf("Mac")!=-1) OSName="MacOS";
if (navigator.appVersion.indexOf("X11")!=-1) OSName="UNIX";
if (navigator.appVersion.indexOf("Linux")!=-1) OSName="Linux";

//Nel plugin flash x linux l'attributo wmode="transparent" non funziona e il menu a tendina js va sotto il flash nella index... Quindi se il sistema operativo è linux gli lascio la versione senza js
if(OSName!="UNIX" && OSName!="Linux"){
	
	window.addEvent('domready', function()
	{

			
			//imposto invisibile la barra per quelli che non hanno javascript attivo
			$('menu1').style.display = 'none';
			
			//prendo il contenuto del div menu1 e creo un array con i link
			//prendo il contenuto del div menu1
			menu1 = $('menu1').innerHTML;

			//elimino i tag ul
			var re = new RegExp("<UL>|<ul>|<\/UL>|<\/ul>", "g");
			menu1 = menu1.replace(re,'');

			//splitto la stringa in un array grazie al tag di apertura li
			re = new RegExp("<li>|<LI>", "g");
			menu1 = menu1.split(re);

			//elimino il primo elemento che risulta vuoto
			menu1.splice(0,1);

			//per ogni elemento dell'array elimino il tag di chiusura li
			re = new RegExp("<\/li>|<\/LI>", "g");
			menu1.each(function(item, index){
				item = item.replace(re,'');
			});


	});


	var menu1;
	var menuwidth='165px'
	var menubgcolor='#E5E5E5'
	var disappeardelay=250
	var hidemenu_onclick="yes"
	var ie4=document.all
	var ns6=document.getElementById&&!document.all
	if (ie4||ns6)
	document.write('<div id="dropmenudiv" style="visibility:hidden;width:'+menuwidth+';background-color:'+menubgcolor+'; z-index: 10;" onMouseover="clearhidemenu()" onMouseout="dynamichide(event)"></div>')
	function getposOffset(what, offsettype){ var totaloffset=(offsettype=="left")? what.offsetLeft : what.offsetTop; var parentEl=what.offsetParent; while (parentEl!=null){ totaloffset=(offsettype=="left")? totaloffset+parentEl.offsetLeft : totaloffset+parentEl.offsetTop; parentEl=parentEl.offsetParent;}
	return totaloffset;}
	function showhide(obj, e, visible, hidden, menuwidth){ if (ie4||ns6)
	dropmenuobj.style.left=dropmenuobj.style.top=-500
	if (menuwidth!=""){ dropmenuobj.widthobj=dropmenuobj.style
	dropmenuobj.widthobj.width=menuwidth
	}
	if (e.type=="click" && obj.visibility==hidden || e.type=="mouseover")
	obj.visibility=visible
	else if (e.type=="click")
	obj.visibility=hidden
	}
	function iecompattest(){ return (document.compatMode && document.compatMode!="BackCompat")? document.documentElement : document.body
	}
	function clearbrowseredge(obj, whichedge){ var edgeoffset=0
	if (whichedge=="rightedge"){ var windowedge=ie4 && !window.opera? iecompattest().scrollLeft+iecompattest().clientWidth-15 : window.pageXOffset+window.innerWidth-15
	dropmenuobj.contentmeasure=dropmenuobj.offsetWidth
	if (windowedge-dropmenuobj.x < dropmenuobj.contentmeasure)
	edgeoffset=dropmenuobj.contentmeasure-obj.offsetWidth
	}
	else{ var topedge=ie4 && !window.opera? iecompattest().scrollTop : window.pageYOffset
	var windowedge=ie4 && !window.opera? iecompattest().scrollTop+iecompattest().clientHeight-15 : window.pageYOffset+window.innerHeight-18
	dropmenuobj.contentmeasure=dropmenuobj.offsetHeight
	if (windowedge-dropmenuobj.y < dropmenuobj.contentmeasure){ edgeoffset=dropmenuobj.contentmeasure+obj.offsetHeight
	if ((dropmenuobj.y-topedge)<dropmenuobj.contentmeasure)
	edgeoffset=dropmenuobj.y+obj.offsetHeight-topedge
	}
	}
	return edgeoffset
	}
	function populatemenu(what){ if (ie4||ns6)
	dropmenuobj.innerHTML=what.join("")
	}
	function dropdownmenu(obj, e, menucontents, menuwidth){ if (window.event) event.cancelBubble=true
	else if (e.stopPropagation) e.stopPropagation()
	clearhidemenu()
	dropmenuobj=document.getElementById? document.getElementById("dropmenudiv") : dropmenudiv
	populatemenu(menucontents)
	if (ie4||ns6){ showhide(dropmenuobj.style, e, "visible", "hidden", menuwidth)
	dropmenuobj.x=getposOffset(obj, "left")
	dropmenuobj.y=getposOffset(obj, "top")
	dropmenuobj.style.left=dropmenuobj.x-clearbrowseredge(obj, "rightedge")+"px"
	dropmenuobj.style.top=dropmenuobj.y-clearbrowseredge(obj, "bottomedge")+obj.offsetHeight+"px"
	}
	return clickreturnvalue()
	}
	function clickreturnvalue(){ if (ie4||ns6) return false
	else return true
	}
	function contains_ns6(a, b) { while (b.parentNode)
	if ((b = b.parentNode) == a)
	return true; return false;}
	function dynamichide(e){ if (ie4&&!dropmenuobj.contains(e.toElement))
	delayhidemenu()
	else if (ns6&&e.currentTarget!= e.relatedTarget&& !contains_ns6(e.currentTarget, e.relatedTarget))
	delayhidemenu()
	}
	function hidemenu(e){ if (typeof dropmenuobj!="undefined"){ if (ie4||ns6)
	dropmenuobj.style.visibility="hidden"
	}
	}
	function delayhidemenu(){ if (ie4||ns6)
	delayhide=setTimeout("hidemenu()",disappeardelay)
	}
	function clearhidemenu(){ if (typeof delayhide!="undefined")
	clearTimeout(delayhide)
	}
	if (hidemenu_onclick=="yes")
	document.onclick=hidemenu
}