function addOption (oListbox, text, value, isDefaultSelected, isSelected)
  {
    var oOption = document.createElement("option");
    oOption.appendChild(document.createTextNode(text));
    oOption.setAttribute("value", value);

    if (isDefaultSelected) oOption.defaultSelected = true;
    else if (isSelected)   oOption.selected = true;
    oListbox.appendChild(oOption);
  }

  function LastOption(oListbox)
  {
    return oListbox.options[oListbox.length-1];
  }

  function addOptionsToSelect(sel,list)
  {
    listSz0=sel.length;
    for(i=0;i<list.length;i=i+2)
    {
      addOption(sel,list[i+1],list[i]);
    }
  }

  function addSeparator(sel,label,val)
  {
    if(!val)
    {
      val=-1;
    }
    if(!label)
    {
      label="-----";
    }
    addOption(sel,label,val);
    LastOption(sel).style.color="red";
    LastOption(sel).disabled=true;
  }

  function CheckSelection(_this)
  {
    var s=_this;
    if(s.selectedIndex > 0 )  
    {
      var i=parseInt(s.value);

      if(isNaN(i))
      {
        i=0;
      }
      if(i==-1)
      {
        s.selectedIndex=0;
      }
    }
  }