HASH(0x7f5cf81cf3d0)