function gui_loadTab(nr_)
{
  gui_currentDialog.tabControl.value=nr_;
  gui_currentDialog.submit();
}

function gui_triggerCallbackButton(name_, value_)
{
  document.forms.gui_CallbackButtonForm.callbackButtonName.value=name_;
  document.forms.gui_CallbackButtonForm.callbackButtonValue.value=value_;
  document.forms.gui_CallbackButtonForm.submit();
}