document.write('2472\n');