HASH(0x7fbf9456fde0)