HASH(0x7f5cf76b30f8)