function doOver(which) {
    var e = document.getElementById('nav' + which);
    e.className = 'navOver';
}

function doOff(which) {
    var e = document.getElementById('nav' + which);
    e.className = 'navOff';
}