document.write('1187\n');