function addOption(ctrl,value,text){
   if(ctrl.options) {
           oOpt=document.createElement("OPTION");
           ctrl.options.add(oOpt);
           ctrl.options[ctrl.options.length-1].value=value;
           ctrl.options[ctrl.options.length-1].text=text;
   }
}