rem: disableDifficultyMenu: function() { this.difficultyLevelMenu.setAttribute("disabled","true"); 
add: disableDifficultyMenu: function() { this.difficultyLevelMenu.setAttribute("disabled","true"); 
context:   disableDifficultyMenu: function() {     this.difficultyLevelMenu.setAttribute("disabled","true");   },
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3385/8a71de27d5efd7b98e135d1b2654438f84c50c0d/cardslib.js/clean/cardslib.js