function setCookie(name, value, path) {	
	var today = new Date();
	var expdate = new Date ();
	expdate.setTime(today.getTime() + (1000*60*60*24*365));
	
  document.cookie= name + "=" + escape(value) +
        "; expires=" + expdate +
        ((path) ? "; path=" + path : "");
}

function deleteCookie(name, path) {
    //if (getCookie(name)) {
        document.cookie = name + "=" +
            ((path) ? "; path=" + path : "") +
            "; expires=Thu, 01-Jan-70 00:00:01 GMT";
    //}
}

function SHSub (oid,dir)
{	
  alert('ciao');
	var obj=document.getElementById(oid);
	if (obj.style.display=='none')
	{
		obj.style.display='block';
		setCookie(oid, true, dir);
	}
	else
	{
		obj.style.display='none';
		deleteCookie(oid,dir);
	}
}

/* SCROLL */
var slider=new Array();
function InitScroll (_box,_delta)
{       
   var vh=$(_box).getHeight();
   if (_delta)
       vh+=_delta;
   var rh=$(_box).scrollHeight+vh;
      var sh=Math.round((vh*vh)/rh);   
   if ($(_box).scrollHeight <= $(_box).offsetHeight) {
       $(_box).style.width='210px';
       return;
   }
   $(_box).insert({after: '<div id="track_'+_box+'" class="track"><div id="handle_'+_box+'" class="handle"></div></div>'});
   if (_delta)
       $('track_'+_box).setStyle({height: ($('track_'+_box).getHeight()+_delta)+'px'});

   if ($(_box).getHeight()<40)
       $('handle_'+_box).hide();
      if (sh>15)
       $('handle_'+_box).style.height=sh+"px";
      slider[_box] = new Control.Slider('handle_'+_box, 'track_'+_box, {
       axis: 'vertical',
       onSlide: function(v) { scrollVertical(v, $(_box), slider);  },
       onChange: function(v) { scrollVertical(v, $(_box), slider); }
   });          if (window.addEventListener)    //DOMMouseScroll is for mozilla.
       $(_box).addEventListener('DOMMouseScroll', wheel, false);

   $(_box).onmousewheel = $(_box).onmousewheel = wheel;// IE/Opera.
}


function scrollVertical(value, element, slider)
{       element.scrollTop = Math.round(value/slider[element.id].maximum*(element.scrollHeight+10-element.offsetHeight));
}

function handle(obj,delta) {       slider[obj.id].setValueBy(-delta/5);
}

function wheel(event) {       var delta = 0;
   if (!event) /* For IE. */
       event = window.event;
   if (event.wheelDelta) { /* IE/Opera. */
       delta = event.wheelDelta/120;
       /** In Opera 9, delta differs in sign as compared to IE.*/
       /*if (window.opera)
           delta = -delta;*/
   } else if (event.detail) { /** Mozilla case. */
       /** In Mozilla, sign of delta is different than in IE.
       * Also, delta is multiple of 3.
       */
       delta = -event.detail/3;
   }
   /** If delta is nonzero, handle it.
   * Basically, delta is now positive if wheel was scrolled up,
   * and negative, if wheel was scrolled down.
   */
   if (delta)
       handle(this,delta);
   /** Prevent default actions caused by mouse wheel.
   * That might be ugly, but we handle scrolls somehow
   * anyway, so don't bother here..
   */
   if (event.preventDefault)
       event.preventDefault();
   event.returnValue = false;
} 
//---------------------------------------------------------------