document.write('1142\n');