document.write ("12034");