document.write ("1140 ");