diff --git a/a.txt b/a.txt
index 01f0e0a1d9..b12ab0e7f5 100644
--- a/a.txt
+++ b/a.txt
@@ -1 +1 @@
-9724
+9725