var uitgevoerd = "!";
//Voorkomen van dubbele uitvoering commando
function checkdubbel(sleutel) {
    if (uitgevoerd.indexOf("!"+sleutel+"!")==-1) {
        uitgevoerd+=(sleutel+"!");
        return true;
        }
    else
        alert("Commando type "+sleutel+" reeds uitgevoerd!");
        return false;       
}