Task: Program Execution
Input (English): x, 4257, a, u, t, h
Output (English): 4257