var el = document.getElementById("names");
while(el.childNodes.length>0){
el.removeChild(el.childNodes[el.childNodes.length-1]);
}
for(var i=0;i<mas.length;i++){
var opt = document.createElement("option");
opt.innerHTML=mas[i];
el.appendChild(opt);
вот это, судя по коду, можно попробовать заменить на
var el = document.getElementById("names");
el.innerHTML = mas.join("");
может и заработать.
А денег не нужно — лучше выпей пива и вспомни добрым словом
