document.write ("12093");