document.write ("139112");