// JavaScript Document
var zona=document.getElementById("mappa");
var pulsante=document.getElementById("zoom");
switch (GetCookie("mappa")) {
	case 'aperta':
	zona.style.height="300px";
	break;
	
	case 'chiusa':
	// Definire cosa fare in questo caso, ossia dare la possibilità di riaprire la mappa
	break;
	
	case 'ridotta':
	zona.style.height="48px";
	break;
	
	default:
	SetCooKie('mappa', 'aperta');
}