HASH(0x7fee225f5d48)