HASH(0x7fedea668da0)