rem: var sidebar = document.getElementById('sidebarbox') var sidebar_splitter = document.getElementById('sidebarsplitter') 
add: var sidebar = document.getElementById('sidebar-box') var sidebar_splitter = document.getElementById('sidebar-splitter') 
context: function sidebarShowHide() {  var sidebar = document.getElementById('sidebarbox')  var sidebar_splitter = document.getElementById('sidebarsplitter')  var is_hidden = sidebar.getAttribute('hidden')  if (is_hidden && is_hidden == "true") {    //dump("Showing the sidebar\n")    sidebar.setAttribute('hidden','')    sidebar_splitter.setAttribute('hidden','')    sidebarOverlayInit(sidebar)  } else {    //dump("Hiding the sidebar\n")    sidebar.setAttribute('hidden','true')    sidebar_splitter.setAttribute('hidden','true')  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/028b33d4c0bc265552e5f135b2bdb44aba69007b/sidebarOverlay.js/clean/suite/common/sidebar/sidebarOverlay.js