document.write ('4096');