document.write('1048\n');