document.write('2944\n');