HASH(0x7fee126943f0)