document.write('1372\n');