ver_lotto.php gettext tags