document.write('1024\n');