function dispatch(id, cmd) {
  setFieldValue("internal.wdk.wdkCommand", id);
  if (cmd) {
    setFieldValue("internal.wdk.wdkCommandArgument", cmd);
  }
  document.getElementsByTagName('form')[0].submit();
}