HASH(0x7f5cf50cc4e0)