/* mouse over Effekte auf den Menübildern */
function changeImg(imgid, aktion, sel_img, unsel_img) {
  var link;
  if (aktion == 1) {
    link = 'self.document.' + imgid + '.src = sel_img;'
  } else {
    link = 'self.document.' + imgid + '.src = unsel_img;'
  }
  eval(link);
  return;
}

/* mouse over Effekte auf den Menübildern */
function showSubmenu(id, action) {
  var objid = 'submenu'+id;
  var ele = xGetElementById( objid );
  if ( ele && action == 1) {
    xShow( ele );
    dontclose=id;
  } else {
    xHide( ele );
    dontclose=0;
  }
  return;
}