document.write ("139142");