document.write('25942\n');