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