HASH(0x7fedf26318d0)