HASH(0x7f5ca100de78)