document.write('25922\n');