HASH(0x7f5cf4e4d1f0)