rem: Cards.preferences.setIntPref(Cards.currentGame + ".difficulty-level", level); 
add: gPrefs.setIntPref(Cards.currentGame + ".difficulty-level", level); 
context:   setDifficultyLevel: function(level) {    level = parseInt(level);    Cards.preferences.setIntPref(Cards.currentGame + ".difficulty-level", level);    this.difficultyLevel = level;    this.newGame();  },
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3385/b29f05ae5b036b4445d7cdc823d74b68896f7e7b/cardgame.js/buggy/cardgame.js