HASH(0x7fedfe6ef678)