var oldHoverElement;

function show(element) {
  element.className = "hover";
  //element.className += "hover";
  if (oldHoverElement) {
    if (oldHoverElement != element) {
      oldHoverElement.className = "";
    }
  }
  oldHoverElement = element;
}