HASH(0x7fedca6426f8)