// perform JavaScript after the document is scriptable. 
$(function() { 
	// setup ul.tabs to work as tabs for each div directly under div.panes 
	$("ul.search_tabs").tabs("div.search_panes > div").history();
	$("ul.result_tabs").tabs("div.result_panes > div").history();
	$("ul.section_tabs").tabs("div.section_panes > div").history();
	$("ul.agreement_tabs").tabs("div.agreement_panes > div");
	$("ul.index_category_tabs").tabs("div.index_category_panes > div");
});