HASH(0x7fedf6584c78)