HASH(0x7fee0a617730)