Podrias hacerlo de este modo:
Código PHP:
<select name="cbohora" id="cbohora" disabled="disabled" >
<?php
for ($i = 1; $i <= 13; $i++) {
echo '<option value="'.$i.'"';
if(($datos_mod!="") AND ($i==$hora[0])){
echo " selected";
}
echo '>'.$i.'</option>';
};
?>
</select>
Un saludo.
