HASH(0x7fee0a640520)