rem: var menu = new JMenu(element) document.menu = menu 
add:  if(element.className != 'disabled') { var menu = new JMenu(element) document.menu = menu } 
context: document.addLoadEvent(function() {  element = document.getElementById('menu')  var menu = new JMenu(element)  document.menu = menu});
meta: 3891	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3891/55c10bf38090af84991e817c2d8a4c496b8e40e0/index.js/buggy/administrator/templates/khepri/js/index.js