function switch_debug_window(strWindow,strButton){
     var elem;
     var display;
     var button;
     button = document.getElementById(strButton)
     elem = document.getElementById(strWindow);
     display = elem.getAttribute('style');
     if(display.indexOf('none') != -1){
          elem.setAttribute('style', 'display:block;');
          button.firstChild.nodeValue = "| - |";
     }
     else{
          elem.setAttribute('style', 'display:none;');
          button.firstChild.nodeValue = "| + |";
     }
}
function hide_debug_window(strWindow, strButton){
     var elem;
     var button;
     elem = document.getElementById(strWindow);
     elem.setAttribute('style', 'display:none;');
     button = document.getElementById(strButton);
     /*button.removeChild(button.firstChild);*/
     button.setAttribute('style', 'display:inline');


}