HASH(0x7fedce5ebf10)