Change ID generation scheme to conform to HTML standards (thanks to Edward Yang for the catch)

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 5a18e17c..74badd36 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1731,7 +1731,7 @@ function bless(s) {
 var nextId = 0;
 
 function fresh() {
-    return (--nextId).toString();
+    return "uw" + (--nextId);
 }