document.write('2248\n');