document.write ("1072 ");