document.write ("12492");