document.write('3072 ');