document.write ("1707 ");