substring: 4231