HASH(0x7fee225f03b0)