+if($PREF['cardset']=="english2")
+ {
+ echo " <option value=\"english\" >"._('English cards')."</option>\n";
+ echo " <option value=\"english2\" selected=\"selected\">"._('English cards 2')."</option>\n";
+ }
+ else /* default */
+ {
+ echo " <option value=\"english\" selected=\"selected\">"._('English cards')."</option>\n";
+ echo " <option value=\"english2\" >"._('English cards 2')."</option>\n";
+ };