invece di fare cosi':
codice:
echo "<option value=" . $riga["col_7"] .">" . $riga["col_7"] ."</option>" ;
prova cosa':
codice:
echo "<option value=\"$riga[col_7]\">$riga[col_7]</option>" ;