  The six-vertex model with domain wall boundary conditions is considered. A
Fredholm determinant representation for the partition function of the model is
obtained. The kernel of the corrtesponding integral operator depends on
Laguerre polynomials.
