document.write('22942\n');