document.write('2998\n');