document.write ("1742 ");