HASH(0x7f5d057707c0)