document.write ("1272 ");