formula HO