document.write ("12612");