document.write('1442\n');