[PHP] select option checked Opcje

[dentopolis]

mam w formularzu prawidłowo zapisującym do bazy dane domyślnie wyświetlane pole WS:
echo "<select name='pracownia6'>";
echo "<option value='ws' checked>WS</option>";
echo "<option value='ag'>AG</option>";
echo "</select>";

ale jak zrobić, żeby po zapisaniu formularza i ponownym wejściu na stronę checked stawiał przy opcji która jest zaznaczona w bazie?