var highlighted_pole_element_id = null;

function highlight_pole(pole_id) {
  pole_element_id = 'menu_pole_'+pole_id;
  if (highlighted_pole_element_id == pole_element_id) return;

  if (highlighted_pole_element_id) do_unhighlight_pole(highlighted_pole_element_id);
  
  pole_element = $(pole_element_id);
  if (pole_element) {
    do_highlight_pole(pole_element_id);
  } else {
    pole_element_id = null;
  }
  highlighted_pole_element_id = pole_element_id;
}

function do_highlight_pole(pole_element_id) {
  $(pole_element_id).addClassName('highlighted');
}
function do_unhighlight_pole(pole_element_id) {
  $(pole_element_id).removeClassName('highlighted');
}