<!--
function jumpToPage() {
    var idx = document.jumpForm.jumpBox.selectedIndex;
    var linkHref = document.jumpForm.jumpBox.options[idx].value;

    if(linkHref != "") {
      top.location.href = linkHref;
    }
}

function writeDate() {
  weekDays = new Array("Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat");
  months = new Array("Jan", "Feb", "Mar", "Apr", "May", "June", "July", "Aug", "Sept", "Oct", "Nov", "Dec");
  
  var today = new Date;
  
  document.write(months[today.getMonth()] + " " + today.getDate() + ", " + today.getFullYear());
}

//-->