HASH(0x7fee225f7558)