  We prove Zagier's conjecture on the value at s=4 of the Dedekind
zeta-function of a number field F. For any field F, we define a map from the
appropriate pieces of algebraic K-theory of F to the cohomology of the weight 4
polylogarithmic motivic complex. When F is the function field of a complex
variety, composing this map with the regulator map on the polylogarithmic
complex to the Deligne cohomology, we get a rational multiple of Beilinson's
regulator. This plus Borel's theorem implies Zagier's conjecture. Another
application is a formula expressing the value at s=4 of the L-function of an
elliptic curve E over Q via generalized Eisenstein-Kronecker series. We get a
strong evidence for the part of Freeness Conjecture describing the weight four
part of the motivic Lie coalgebra of F via higher Bloch groups. Our main tools
are motivic correlators and a new link of cluster varieties to polylogarithms.
