Verhoeff_algorithm loading ...