>

>

>

>

>

>

>

>

id='wps_show_hits_option'>

>

"var wpsCurrentTab = getElementById('wps_current_tab'); wpsCurrentTab.value='display-settings'")); ?>