HASH(0x7f5ce053edd8)