HASH(0x7fbf94577ae0)