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