// verschiebt einen Eintrag aus der Auswahlliste mit der id 'sid' 
  // in die Auswahlliste mit der id 'did' 
function moveOption(sid, did) 
    { 
    source = document.getElementById(sid); 
    dest = document.getElementById(did); 
     
    if (document.all) 
      // für IE - Position des neuen Elements als Zahl 
      pos = dest.length; 
    else 
      // sonst - Position des neuen Elements als Objekt (null für Ende der Liste) 
      pos = null; 
     
    // suche das Kindelement ( = option-Tag) heraus, das ausgewählt ist 
    child = source
 .firstChild; 
    while (child!=null && !child.selected) 
      child = child.nextSibling; 
     
    neues = new Option(child.text, source.value);   
    dest.add(neues, pos); 
    source.removeChild(child); 
    }
function createIDString(selid, hiddenname, formname) 
    { 
    sel = document.getElementById(selid); 
    hid = eval("document."+formname+"."+hiddenname); 
    hid.value=""; 
    child = sel.firstChild; 
    while (child!=null) 
      { 
      if (child.value && child.value==child.value.match(/^\d+$/))
        hid.value += (child.value + ','); 
      child = child.nextSibling; 
      } 
    hid.value = hid.value.substring(0, hid.value.length-1); 
    }