document.write ("142272");