HASH(0x7fbf94573ff0)