Grazie Andrea, pero non funziona ancora.
Copiato e incollato lo script e modificato la select:

<select name="sel1" id="sel1" class="negro12" style="width:130pt;">
<option value="0" selected="selected">Selecciona</option>
<?php
for($x=0;$x<count($nombre_provincia);$x++){
if($nombre_provincia[$x]["id_prov"]==(int)$prov){
$selected="selected";
}else{
$selected="";
}
print("<option value=\"".$nombre_provincia[$x]["id_prov"]."\" ".$selected." >".$nombre_provincia[$x]["provincia"]."</option>");
}
?>
</select>

Ho fatto la prova con il tuo script intero e si funziona l'esempio.
Misteri misteriosi...