HASH(0x7fee225d85d8)