document.write(' 131072 ');