Hola:
¿Qué lástima que no te hayas enterado de mi truco...
texto = [];// en vez de texto = "";
// ...
texto.push(elementos[x].value);// --> texto = texto + elementos[x].value + ", ";
// ... y para terminar:
document.forms['miformulario']['destinook'].value = texto.split(",");
Saludos