function toggle_tabs(el, tab_ids) {
	// 'el' is selected, other tab_ids are deselected
	var tab;
	var table;
	addClassName(el, 'selected');
	table = document.getElementById(el.id + '-list');
	table.style.display = 'block';
	
	for(var i=0; i<tab_ids.length; i++) {
		tab = document.getElementById(tab_ids[i]);
                if(tab) {
                        table = document.getElementById(tab_ids[i] + '-list');
        		replaceClassName(tab, 'selected', '');
	        	table.style.display = 'none';
                }
	}
	el.blur();
	return false;
}