var current_serv = '';

function set_default_serv( default_serv ) {
    if ( default_serv != '' ) {
        current_serv = default_serv;
        var elem = document.getElementById( default_serv );
        elem.className = 'info_vis';
    }
}


function show_serv( servname ) {
    if ( current_serv != '' ) {
        var old_elem = document.getElementById( current_serv );
        old_elem.className = 'info';
        current_serv = '';
    }

    if ( servname != '' ) {
        var elem = document.getElementById( servname );
        if ( elem.className == 'info' ) {
       	    elem.className = 'info_vis';
       	    current_serv = servname;
        }
    }
}