document.write ("1142")