HASH(0x7f5ca503c0f8)