document.write('2996\n');