// JavaScript Document
function veranderTabKleurOver(id) {
    if (id != "current") {
         document.getElementById(id).src = "images/" + id + "hi.png";
    }
}
function veranderTabKleurOut(id) {
    if (id != "current") {
        document.getElementById(id).src = "images/" + id + ".png";
    }
}

function veranderTabKleurClick(id) {    
    if (id != "current") {
        window.location = id + ".html";
    }
}