document.write('2236\n');