/*
 * Wrapper per aggiungere eventi: cross-browser (si spera)
 */
 
	function addEvent(obj, evType, fn){ 

		if (obj.addEventListener){ 
	  		obj.addEventListener(evType, fn, false); 
	  		return true; 
		} else if (obj.attachEvent){ 
	  		var r = obj.attachEvent("on"+evType, fn); 
  		return r; 
	} else { 
  		return false; 
	} 
}

function showPath() {
// Shows middle-center-path ...
	document.getElementById('middle-center-path').style.display='block';
}