HASH(0x7fedee5fb148)