HASH(0x7f5ca4fb7df8)