document.write ("12062");