document.write ("12094")