HASH(0x7fede66dc988)