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