document.write ("8192");