HASH(0x7fedf401d6b0)