HASH(0x7fee225db5b8)