function setImage(image) {
  document.getElementById("icon").src = '/images/menu/' + image + '-icon.jpg';
}

function clearImage() {
  document.getElementById("icon").src = '/images/spacer.gif';
}