HASH(0x7fee125ed288)