Change third robot team number to 9984

We need to do this because the phoenix pro season pass license requires
all extra robots which don't have our team number to have an off-season
demo team number (9970-9999)

Signed-off-by: Maxwell Henderson <mxwhenderson@gmail.com>
Change-Id: I173b48b86b5fbe2de65ed2f8bf577228b6c94f67
diff --git a/y2023_bot3/constants/BUILD b/y2023_bot3/constants/BUILD
index 40d77be..6833ec4 100644
--- a/y2023_bot3/constants/BUILD
+++ b/y2023_bot3/constants/BUILD
@@ -20,7 +20,7 @@
     name = "constants.json",
     src = "constants.jinja2.json",
     includes = [
-        "8971.json",
+        "9984.json",
         "common.json",
     ],
     parameters = {},