// JavaScript Document
var timer =new Array();
var oggetto =new Array();
function mouse_out(id){
	timer[id]=setTimeout("nascondi('"+id+"')",400);
}

function nascondi(id){
	oggetto[id]=document.getElementById(id);
	oggetto[id].style.visibility='hidden';
}

function mouse_over (id){
	oggetto[id]=document.getElementById(id);
	oggetto[id].style.visibility='visible';
	ferma_tempo(id);
	for (i in oggetto){
		if (i!=id)
			oggetto[i].style.visibility='hidden';
	}
}
function ferma_tempo(id){
	if (typeof timer!="undefined")
		clearTimeout(timer[id]);
}