document.write ("12906");