HASH(0x7fee126751f0)