HASH(0x7f5ce05588c0)