HASH(0x7fedfa5a40b8)