HASH(0x7fee225d63f8)