document.write('1471\n');