document.write('1022\n');