document.write ("12094");