1 function set_tab(tabname) {

     2   // set appropriate cookie

     3   // XXX see if we can no just do it with jQuery

     4   async_remote_exec('remember_active_tab', tabname);

     5 }