function notin(dest,list)
{
  for(var j=0; j<list.options.length; j++)
    if(list.options[j].text == dest)
      return false;
  return true;
}

function addselected(list1,list2)
{
  if(list2.options.length>0 && list2.options[0].value=="todelete") list.options[0] = null;
  for(var i=0 ; i < list1.options.length ; i++)
    {
      if(notin(list1.options[i].text,list2) && list1.options[i].selected)
	{
	  var option = new Option(list1.options[i].text,list1.options[i].value);
	  list2.options[list2.options.length] = option;
	}
    }
}

function addvalue(list1,val,text)
{
  var add=true;
  for(var i=0 ; i < list1.options.length ; i++)
    if(list1.options[i].value==val)
      add=false;

  if(add)
    {
      var option = new Option(text,val);
      list1.options[list1.options.length] = option;
    }
}

function removevalue(list1,val)
{
  for(var i=0 ; i < list1.options.length ; i++)
    if(list1.options[i].value == val)
      list1.options[i] = null;
}

function selectall(list1)
{
  var selectione="";
  for(var i=0 ; i < list1.options.length ; i++)
	selectione=selectione+list1.options[i].value+"|";
list1.options[0].value=selectione;
list1.options[0].selected=true;
//    list1.options[i].selected = true;
}

function removeselected(list1)
{
  for(var i=0 ; i < list1.options.length ; i++)
    {
      if(list1.options[i].selected)
	{
	  list1.options[i] = null;
	  i--;
	}
    }
}

function upSelected(liste)
{
  for(var i = 1; i < liste.options.length; i++)
    {
      if(liste.options[i].selected)
	{
	  var option = new Option(liste.options[i].text,liste.options[i].value);
	  var option2 = new Option(liste.options[i - 1].text,liste.options[i - 1].value);
	  liste.options[i] = option2;
	  liste.options[i - 1] = option;
	  liste.options[i - 1].selected = true;
	}
    }
}

function downSelected(liste)
{
  for(var i = 0; i < liste.options.length - 1; i++)
    {
      if(liste.options[i].selected)
	{
	  var option = new Option(liste.options[i].text,liste.options[i].value);
	  var option2 = new Option(liste.options[i + 1].text,liste.options[i + 1].value);
	  liste.options[i] = option2;
	  liste.options[i + 1] = option;
	  liste.options[i + 1].selected = true;
	  break;
	}
    }
}
-->