HASH(0x7f5cd8fe53c0)