+
+ /************************/
+ /* Set the service zone */
+ /************************/
+ function set_service_zone() {
+ const z = document.getElementById("zone");
+
+ /* Get the "zone" from the querystring if it's there */
+ const params = new URLSearchParams(document.location.search);
+ if (params.get("zone")) {
+ z.textContent = params.get("zone");
+ z.style.display = "block"; /* It's hidden by default */
+ }
+
+ /* Otherwise, leave it blank (and hidden) */
+ }
+