function setoption(index, op) {
        document.getElementById("option").value = op;
        document.getElementById("delindex").value = index;
        document.hausform.submit();
}