var CurrentMenu = null;

var Months = new Array("jan","feb","mar","apr","may","june",
                       "july","aug","sept","oct","nov","dec",
                       "jan12", "feb12", "mar12");

function getCurrentMonth() {
  var Today = new Date();
  return Months[Today.getMonth()];
}

function changeMonthLink() {
  var o = document.getElementById("calendar");
  var path = o.pathname;
  path = path.replace(/apr\.html/, getCurrentMonth() + ".html");
  o.pathname = path;
}

function setCurrent(obj) {
  if (null != CurrentMenu) {
    CurrentMenu.style.backgroundColor = "";
    CurrentMenu.style.color = "";
  }
  CurrentMenu = obj;
  return true;
}