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