function changeHighlight(el) {
    el.id.match(/^navlink([0-9]*)$/);
    elNum = parseInt(RegExp.$1);

    for (i = 1; i <= 8; i++) {
        anchor = document.getElementById('navlink'+i);
        if (anchor) { 
            if (elNum == i) {
                anchor.className = 'rollover clicked';
            } else {
                anchor.className = 'rollover';
            }
        }
    }
}