document.write('1186\n');