document.write ("1142 ");