+function update_clock2()
+{
+ let elapsed = time_elapsed2();
+ let min = Math.floor(elapsed / 60);
+ let sec = elapsed % 60;
+
+ if (sec < 10) sec = "0" + sec;
+ let text = min + ":" + sec;
+
+ document.getElementById('clock2').innerHTML = text;
+}
+