document.write ("4096");