HASH(0x7f5ca1f3d7b8)