function change_calendar(year, month){
	new Ajax.Updater('calendarHolder', '/cal.php', {asynchronous:true, parameters:'year='+year+'&month='+month, method: 'get'});
}