HASH(0x7f5cca58a1d8)