var current_selected = 'date_but';

function toggle_buttons(newly_selected)
{
    var old = document.getElementById(current_selected);
    old.className = "ajax_button";
    
    var newly = document.getElementById(newly_selected);
    newly.className = "ajax_button_active";
    current_selected = newly_selected;
}