var hoverTimeout = 400;

var hover = 0;

function lightup(button){
  var img = "cuts/buttons/" + button + ".jpg";
  $('#naviPic').attr("src", img);
  hover++;
}

function turnoff(){
  setTimeout("showActiveButton();", hoverTimeout);
}

function showActiveButton(){
  hover--;
  if(hover == 0){
    var img = "cuts/buttons/" + naviPic + ".jpg";
    $('#naviPic').attr("src", img);
  }
}

function setActiveButton(button){
  var img = "cuts/buttons/" + button + ".jpg";
  naviPic = button;
  $('#naviPic').attr("src", img);
}