Weighted -cohomology of Coxeter groups based on barycentric subdivisons.
We establish an exact formula for the word distance on the discrete Heisenberg group ℍ₃ with its standard set of generators. This formula is then used to prove the almost connectedness of the spheres for this distance.