HASH(0x7fede65ca658)