document.write('2249\n');