function clearOptions(obj)
  {
    var i;
    i=obj.options.length;
    while (i>0)
    {
      obj.options[--i]=null;
    };
  };
     
  function addOption(obj, n, txt)
  {
    var opt=new Option;
    opt.text=txt;
    opt.value=n.toString();
    obj.options[obj.length]=opt;
  };