document.write('2992\n');