document.write('1026\n');