document.write(' 3072 ');