A universal family of elliptic
curves of rank 4 with 3-division rational points is constructed. The base space is
shown to be an elliptic K3 surface whose group of sections is of infinite order.
Thus we obtain infinitely many such elliptic curves with mutually distinct
j-invariants.