  A complete solution to the quaternionic contact Yamabe problem on the seven
dimensional sphere is given. Extremals for the Sobolev inequality on the seven
dimensional Hesenberg group are explicitly described and the best constant in
the $L^2$ Folland-Stein embedding theorem is determined.
