document.write("3072 ");