function dateChanged(calendar) {
    // Beware that this function is called even if the end-user only
    // changed the month/year.  In order to determine if a date was
    // clicked you can use the dateClicked property of the calendar:
    if (calendar.dateClicked) {
      // OK, a date was clicked, redirect to /yyyy/mm/dd/index.php
      var y = calendar.date.getFullYear();
      var m = calendar.date.getMonth()+1;     // integer, 0..11
		if(m<10)
		  m="0"+m;
	  var d = calendar.date.getDate();      // integer, 1..31
		if(d<10)
		  d="0"+d;
      // redirect...
      document.form_eventi.eve_date.value=d + "/" + m + "/" + y;
	  //window.location = "/" + y + "/" + m + "/" + d + "/index.php";
  	  frm = document.getElementById("form_eventi");
	  if(document.form_eventi.eve_dove_stop.value)
	    frm.action="/eventi/" + document.form_eventi.eve_dove_stop.value + ".php";
	  else if(document.form_eventi.eve_dove_stop.value=="stop")
	    frm.action="/eventi/";
      frm.submit();
	}
  };