HASH(0x7fedfe6ebc78)