K=[HO][F]/[HF]