HASH(0x7f5cf70ce2e0)