context: function playGame(game) {  disableUI();  GameController.switchFrom();  gPrefs.setCharPref("current-game",game);  window.title = gStrings["game."+game];  GameController = Games[game];  GameController.switchTo();  enableUI();}
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3385/f17d1f9fc9121a00dffc727b06433e15ef021429/cardslib.js/buggy/cardslib.js