Task: Mathematics
Input (English): 25673
Output (English): Yes