HASH(0x7fbf94500fa0)