function menuGroupOver(id, col) {
    var e = document.getElementById(id);
    if (e) e.style.color = col;
}

function defaultInput(box, defval, clear) {
    if (clear) {
        if (box.value == defval) {
            box.value = '';
        }
    } else {
        if (box.value == '') {
            box.value = defval;
        }
    }
}

function checkSearch(f, defval) {
    if (f.zoek.value == '') {
        f.zoek.value = defval;
        return false;
    } else if (f.zoek.value == defval) {
        return false;
    } else {
        return true;
    }
}