document.write("     8192");