document.write('2496\n');