function setoption(action, index, view) {
        document.getElementById("action").value = action;
        document.getElementById("index").value = index;
        document.getElementById("view").value = view;
        document.myform.submit();
}
function setflag(flag) {
        document.getElementById("flag").value = flag;
}
function setdel(del) {
        document.getElementById("del").value = del;
}