document.write ("12052");