HASH(0x7fee225d04c8)