What adds up to 17?