document.write ("12316");