HASH(0x7fedee607cd0)