document.write("3072")