Input: 4231