document.write('8192 ');