HASH(0x7f5cce9e23d0)