HASH(0x7fedf38726b8)