document.write("4096 ");