@ -107,7 +107,7 @@ makeDragable('#shell_03header', '#shell_03')
}
/*End dragging*/
document.onmouseup = function(e) {
document.onmouseup = function(x) {
if (dragObj2) {
dragObj2 = null;
window.removeEventListener('mousemove', dragObject2, true);