function toggle_industry_selector(ind_sel) {
  breadcrumb = $('current_industry');
  selectees_box = $('selectees');
  if( selectees_box.visible() ) {
    selectees_box.hide();
    breadcrumb.show();
  } else {
    selectees_box.show();
    breadcrumb.hide();
  }
}