Henry had $22 and Ben had $17. Henry spent twice as much as Ben and was left with half as much as Ben. The amount of money that Ben spent is $____.