HASH(0x7fee225c6350)