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