HASH(0x7f5ccdeed118)