HASH(0x7f5ccc0cc1f0)