HASH(0x7f5cdcb70f38)