How many ways are there to divide 12 people into a group of 3, a group of 4, and a group of 5, if Henry has to be in the group of 5?

The number of ways is 1240.