// functie voor wisselen van buttons
var oudeAfb = null;
function zetAfb(element,nieuw){
oudeAfb = element.src;
element.src = nieuw;
}
function resetAfb(element){
element.src = oudeAfb;
}


function zetBgAfb(element,nieuw){
element.style.backgroundImage ='url('+nieuw+')';
}
function resetBgAfb(element,oud){
element.style.backgroundImage ='url('+oud+')';
}