This paper is about Hilbert modular forms on certain Hilbert modular varieties associated with a totally real field L. Let p be unramified in L. We reduce to the inert case and consider modular forms modulo p. We study the ideal of modular forms with q-expansion equal to zero modulo p, find canonical elements in it, and obtain as a corollary the congruences for the values of the zeta function o...