function toggle_season( obj_id ) {
    display_mode = (document.getElementById(obj_id).style.display == "none") ? "block" : "none";
    document.getElementById(obj_id).style.display = display_mode;
}