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
      var d = calendar.date.getDate();      // integer, 1..31
      // redirect...
      window.location = CURPATH +"/" + y + "/" + m + "/" + d;
      //alert("/" + y + "/" + m + "/" + d + "/index.php");

    }
  };
  
//Mark Days with Postings
// this table holds your special days, so that we can automatize
// things a bit:

// this function returns true if the passed date is special
function dateIsSpecial(year, month, day) {
    	var yearmonth = ''.concat(year,month);
    	//alert(yearmonth);
		var m = SPECIAL_DAYS[yearmonth];
	    if (!m) return false;
	    for (var i in m) if (m[i] == day) return true;
	    return false;
}