HASH(0x7fedb0ac6bf0)