document.write('1140\n');