diff --git a/js/turtledefs.js b/js/turtledefs.js
index 70a9855db0..cd7383690d 100644
--- a/js/turtledefs.js
+++ b/js/turtledefs.js
@@ -32,7 +32,7 @@
    getAuxToolbarButtonNames, TITLESTRING
  */
 
-const VERSION = "3.5.6";
+const VERSION = "3.5.7";
 let LOGODEFAULT;
 let LOGOJA1 = LOGODEFAULT;
 let LOGOJA = LOGODEFAULT;