document.write ("142 ");