document.write ("12043");