document.write ("3072 ");