A VERSION OF THE {H}OPF-{L}AX FORMULA IN THE {H} EISENBERGGROUP