logoandreas = new Image(384,18)
logoandreas.src = "./images/andreas4.png"

logorenkema = new Image(384,18)
logorenkema.src = "./images/renkema.png"




function original() {
plaatje = document.getElementById("logo");
plaatje.src = logoandreas.src; return true;
}

function flip() {
plaatje = document.getElementById("logo");
plaatje.src = logorenkema.src; return true;
}