document.write ("1143 ");