I know that Hongmeng here is 鸿蒙, but 红梦 is also "hongmeng"