HASH(0x7f5cddefbc78)