HASH(0x7fedfa59d7b8)