HASH(0x7fedf65ec518)