function setSearchOptions(a){tot_tab=3;tab=document.getElementById('tab'+a);search_option=document.getElementById('HeaderControl1_searchopt');if(search_option == null){search_option=document.getElementById('ctl00_HeaderControl1_searchopt');}for(i=1;i<=3;i++){if(i==a){tab.setAttribute("class","selected");search_option.value=a}else{document.getElementById('tab'+i).setAttribute("class","")}}}