document.write("4096");