function menuCmd(cmdName) {
    var formName;
    if (cmdName.indexOf(":") != -1) {
      var parts = cmdName.split(":");
      formName = parts[0];
      cmdName = parts[1];
    }
    else
      formName = "bodyForm";
    eval("document." + formName + ".ACTION.value='" + cmdName + "'");
    for (a = 1; a < arguments.length; a++) {
      var varSpec = arguments[a].split("=");
      eval("document." + formName + "." + varSpec[0] + ".value='" + varSpec[1] + "'");
    }
    if (eval("document." + formName + ".onsubmit") == null || eval("document." + formName + ".onsubmit()") != false)
      eval("document." + formName + ".submit()")
  }