function resetHeader() {
    var links = document.getElementById('header_list').getElementsByTagName('a');
    for (i = 0; i < links.length; i++) {
        links[i].className = '';
    }
}

function setActiveHeader(id) {
    resetHeader();
    document.getElementById(id).className = 'active';
}