to reduce (1234567)