function set_active_tab(tab_index){
        var tabs = $$('#nav a');
        tabs[tab_index].addClass('active_tab');
        //alert(tabs[tab_index].getStyle('class'));
    }