"Order by" virker ikke

Jeg er støt ind i et lidt mærkeligt problem. Jeg tror det kræver nogle friske øjne.

Jeg udskriver en jump menu, og henter så svarmulighederne fra en tabel i en MySQL database:

// Svarmuglighederne hentes
$hent_und = mysql_query("SELECT * FROM $table_valgmuligheder WHERE id_spr='{$ud_spr[id]} ORDER BY prio DESC'") or die(mysql_error());
while ($ud_und = mysql_fetch_array($hent_und)){
                       
    // Svar mulighederne udskrives
    echo "<option value='$ud_und[prio]'>$ud_und[prio]</option>";
    }

Som det ses, ønsker jeg at sortere efter "prio", som er en talværdi i tabellen. Det virker dog overhoved ikke. Intet sker. Den skriver dem bare ud i den rækkefølge de står i tabellen.
Det er altså ORDER BY som ikke virker.

Med venlig hilsen
Peter