document.write ("142");