document.write ("139057");