@ -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;