function set_selected(element_id) {
    var element = document.getElementById(element_id);
    element.setAttribute('src', '/images/nav/'+element_id+'-on.jpg');
    element.setAttribute('onmouseout', '');
    return true;
}