document.write('12621\n');