HASH(0x7f5ce063b7d8)