
if (document.getElementById && document.getElementsByTagName) {

	var curMenu = null;
	var curTimeout = null;

	function menuOn(id){
		var t
		if( document.getElementById && (t = document.getElementById(id)) != null ) {
	    	if ( curMenu == t ) 
				clearTimeout(curTimeout);
			else if( curMenu != null ) {
				clearTimeout(curTimeout);
				menusOff();
			}
	
			curMenu = t;
			if ( t.style && t.style.visibility != null ) t.style.visibility = 'visible'
		}
	}

	function menuOff(id){
	  if( document.getElementById && document.getElementById(id) != null ) {
	    curMenu = document.getElementById(id);
	    curTimeout = window.setTimeout('menusOff()', 100);
	  }
	}

	function menusOff(){
	  if( curMenu.style && curMenu.style.visibility ) curMenu.style.visibility = 'hidden';
	}

menuItems=[]
menuItems['informazioni']=['<A CLASS=lastlinks href=\"/documento.php?z=0&pagina=descrizionedipartimento;id=1;fileset=descd;tit=Descrizione;tab=dipartimento\">Descrizione</a>','<A CLASS=lastlinks href=\"/documento.php?z=0&pagina=storiadipartimento;id=1;tit=Storia;fileset=storiad;tab=dipartimento\">Storia</a>','<A CLASS=lastlinks href=\"/raggiungere.php?z=0\">Come raggiungere il DSI</a>','<A CLASS=lastlinks href=\"/servizi.php?z=0\">Strutture di servizio</a>','<A CLASS=lastlinks href=\"http://fantomas.biblioteca.dsi.unimi.it/biblioteca/\">Accesso alla biblioteca di informatica</a>','<A CLASS=lastlinks href=\"http://www.silab.dsi.unimi.it\">Laboratorio didattico (<ABBR title=\"Laboratorio di scienze dell\'informazione\">SILAB</ABBR>)</a>',0]
menuItems['persone']=['<A CLASS=lastlinks href=\"/listapersone.php?z=0&gruppo=Docenti\">Docenti</a>','<A CLASS=lastlinks href=\"/listapersone.php?z=0&gruppo=Collaboratori%20alla%20ricerca\">Collaboratori alla ricerca</a>','<A CLASS=lastlinks href=\"/listapersone.php?z=0&gruppo=Dottorandi\">Dottorandi</a>','<A CLASS=lastlinks href=\"/listapersone.php?z=0&gruppo=Personale%20tecnico-amministrativo\">Personale tecnico-amministrativo</a>','<A CLASS=lastlinks href=\"/listapersone.php?z=0&gruppo=Docenti%20esterni\">Docenti esterni</a>','<A CLASS=lastlinks href=\"/listapersone.php?z=0&gruppo=Collaboratori%20esterni\">Collaboratori esterni</a>','<A CLASS=lastlinks href=\"/listapersone.php?z=0&gruppo=Frequentatori\">Frequentatori</a>',0]
menuItems['ricerca']=['<A CLASS=lastlinks href=\"/laboratori.php?z=0\">Laboratori</a>','<A CLASS=lastlinks href=\"/rapporti.php?z=0\">Rapporti interni</a>',0]
menuItems['attivita']=['<A CLASS=lastlinks href=\"/iniziative.php?z=0\">Iniziative</a>','<A CLASS=lastlinks href=\"/seminari.php?z=0\">Seminari</a>',0]
menuItems['avvisi']=['<A CLASS=lastlinks href=\"/avvisi.php?z=0&pagina=avvisigenerali\">Avvisi generali</a>',0]
menuItems['corsi']=['<A CLASS=lastlinks href=\"http://www.ccdinf.unimi.it\">Sito del Coordinamento Didattico</a>',0]
menuKeys=['informazioni','persone','ricerca','attivita','avvisi','corsi']

	var i, j, k, n

	for(i=0; i<menuKeys.length; i++) {
		k = menuKeys[i]
		n = 'menu'+k;
		document.write("<DIV CLASS=menu ID="+n+" ONMOUSEOVER=\"menuOn('"+n+"')\" ONMOUSEOUT=\"menuOff('"+n+"')\"><UL CLASS=menu>")
		for(j=0; j<menuItems[menuKeys[i]].length-1; j++) document.write("<LI>"+menuItems[k][j])
		document.write("</UL></DIV>\n")
	}

}

