diff --git a/a.txt b/a.txt
index 672aee6467..6ff6c1384d 100644
--- a/a.txt
+++ b/a.txt
@@ -1 +1 @@
-12506
+12507