HASH(0x7fee0664e220)