Comment by nerdlogic

Assuming uniformly random hashes, shouldn't it be 1/2^17?