document.write ("2142 ");