get_js_set_focus superseded by js setFocus() and php set_focus()