document.write('2995\n');