HASH(0x7f5cce68c2e0)