From 90105c3ef98d5648ce233a59e876d0989d318859 Mon Sep 17 00:00:00 2001
From: Max Lehmann <maxlehmann@xpub.nl>
Date: Thu, 11 Jun 2020 10:34:23 +0200
Subject: [PATCH] Update '12/dragable.js'

---
 12/dragable.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/12/dragable.js b/12/dragable.js
index db2d748..bf4b58a 100644
--- a/12/dragable.js
+++ b/12/dragable.js
@@ -1,5 +1,5 @@
 // Make the DIV element draggable:
-dragElement(document.getElementById("shell_03_header"));
+dragElement(document.getElementById("shell_03header"));
 
 function dragElement(elmnt) {
   var pos1 = 0, pos2 = 0, pos3 = 0, pos4 = 0;