" . bouton_radio("player", "neoplayer", "Neolao player", $player_ == "neoplayer") . "
" . bouton_radio("player", "dewplayer", "Dew player", $player_ == "dewplayer") . "
" . bouton_radio("player", "pixplayer", "One pixel out player", $player_ == "pixplayer") . "
" . bouton_radio("player", "eraplayer", "Erational player", $player_ == "eraplayer") . "" . "