function changeImg(id, op) {
  var el = document.getElementById(id);
  if (op == 0) {
    el.setAttribute("src","/pics/menu/"+id+".png");
  }
  else {
    el.setAttribute("src","/pics/menu/"+id+"Hover.png");
  }
}