Reduce another version of 9653
Reduce 9653