function switch_feedreaders(show){
  $$('div.switchable').each(function(type){
    $$("#" + type.id + " div").each(function(node){
      node.style.display = 'none';
    });
    $(type.id + '-' + show).style.display = 'block';
  });
}

function select_all_text(self) {
	self.select();
}