  In this short note, we will show the following weak evidence of S. Lang
conjecture over function fields. Let f : X ---> Y be a projective and
surjective morphism of algebraic varieties over an algebraically closed field k
of characteristic zero, whose generic fiber is geometrically irreducible and of
general type. If f is not birationally trivial, then there are countably many
proper closed varieties { Z_i } of X such that every quasi-section of f is
contained in the union of Z_i.
