HASH(0x7fee225ebdd0)