2^32 - 13