/* Jump Functions for month/year change on calendar month view*/

function jump_month(num){
  var months_list=document.getElementById("month_list_" + num);
  var years_list=document.getElementById("year_list_" + num);
  window.location.href = "index.php?month=" + months_list.options[months_list.selectedIndex].value + "&year=" + years_list.options[years_list.selectedIndex].value;
}