HASH(0x7fee2e5ebcd0)