HASH(0x7fede66748c0)