document.write('2999\n');