document.write('25926\n');