4,4-difluorocyclohexanol , with CAS number of 22419-35-8, can be called cyclohexanol, 4,4-difluoro- ; 1,1-Difluorocyclohexan-4-ol .