document.write('2276\n');