tex.options.length=0
for (var i=0; i<tex_co.length;i++) { if (tex_co[i].className.match(m)) {tex.appendChild(tex_co[i].cloneNode(true))};
sp=tex.cloneNode(true); spc=sp.getElementsByTagName("option");