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