document.write('2267\n');