document.write('1721\n');