document.write ("1025 ");