rem: this.preferences.setCharPref("current-game",strGameName); 
add: gPrefs.setCharPref("current-game",strGameName); 
context:   playGame: function(strGameName) {    // end old game    if(this.currentGame) {      Game.end();      document.getElementById(this.currentGame).hidden = true;    }    // show new game    this.currentGame = strGameName;    document.getElementById(strGameName).hidden = false;    // store current game pref and start the game    this.preferences.setCharPref("current-game",strGameName);    Game = Games[strGameName];    Game.start();    // set the window title    window.title = document.getElementById(strGameName).getAttribute("name");  },
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3385/b29f05ae5b036b4445d7cdc823d74b68896f7e7b/cardslib.js/buggy/cardslib.js