// JavaScript Document
var DATE_INFO = {};
var DATE_LINK = {};
function adddate (dateval,datetext,datelink) {
var date1=Calendar.dateToInt(Calendar.parseDate(dateval.replace(/\./g,"-"), false))
DATE_INFO[date1]={ klass: "highlight", tooltip: datetext };
DATE_LINK[date1]=datelink;
}
function getdatelink(date) {
return DATE_LINK[date];
}
function getDateInfo(date, wantsClassName) {
 var as_number = Calendar.dateToInt(date);
 return DATE_INFO[as_number];
};
function makecal (mindate,maxdate) {
Calendar.setup({
 cont : "calendar-container",
 weekNumbers : false,
 selectionType : Calendar.SEL_SINGLE,
 selection : Calendar.dateToInt(new Date()),
 showTime : false,
min: Calendar.dateToInt(Calendar.parseDate(mindate.replace(/\./g,"-"), false)),
max: Calendar.dateToInt(Calendar.parseDate(maxdate.replace(/\./g,"-"), false)),
dateInfo : getDateInfo,
titleFormat : "%B %Y",
 onSelect : function() {
 var lnk = getdatelink(this.selection.get());
 if (lnk!=null) {
 document.location.href=lnk;
 }
 },
 onTimeChange : function(cal) {
 var h = cal.getHours(), m = cal.getMinutes();
 // zero-pad them
 if (h < 10) h = "0" + h;
 if (m < 10) m = "0" + m;
 $("calendar-info").innerHTML = Calendar.formatString("Time changed to ${hh}:${mm}", {
 hh: h,
 mm: m
 });
 }

});
}