HASH(0x7fedf65c2dc0)