HASH(0x7f5d057d7b80)