document.write('2972\n');