: 7 ^k,