document.write('2994\n');