si te fijas en el mismo código verás que para rellenar es:
Código Javascript
:
Ver originaldocument.NAMEDELFORM.NAMEDELCAMPO.accionOPropiedad=valor
Entonces no es tan difícil entender que:
Código Javascript
:
Ver originalfor(i=0;i<num_provincias;i++){
document.f1.provincia.options[i].value=mis_provincias[i]
document.f1.provincia.options[i].text=mis_provincias[i]
document.f1.provincia2.options[i].value=mis_provincias[i]
document.f1.provincia2.options[i].text=mis_provincias[i]
}
Por ejemplo.
Y esto es javascript, no php.