var menu_start;
var menu_current;
function toggleMenu(sub_menu) {
  if (menu_current != '' && menu_current != undefined && menu_start != menu_current) {
    Effect.toggle(menu_current,'slide');
  }
  Effect.toggle(sub_menu,'slide');
  menu_current = sub_menu;
}
function doChangeImg(afbeelding_naam) {
  document.getElementById('brace_img').src = '/images/braces/' + afbeelding_naam;
}