2^128 / 20*10^9