function menu_select(element) {
  all_elements = element.parentNode.childNodes;
  for(var i = 0; i < all_elements.length; i++) {
    all_elements[i].style.backgroundImage = "url(/templates/images/tab.jpg)";
  }
  element.style.backgroundImage = "url(/templates/images/stab.jpg)";
}