HASH(0x7fede803b078)