document.write('1107\n');