  This paper has been withdrawn by the authors due to a crucial computational
error. In this paper we deal with the finite case. We prove that a finite
bounded ordered set can be represented as the order of principal congruences of
a finite \emph{semimodular lattice}.
