document.write(' 131071 ');