document.write ("1067 ");