rem: currentPlayer = document.getElementById("playersel").value; updateStatusCombined(); 
add: currentPlayer = document.getElementById("playersel").value; updateStatusCombined(); 
context: function doPlayerChange(event) {        currentPlayer = document.getElementById("playersel").value;        updateStatusCombined();}
meta: 6551	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6551/3d70bf657d5f2f14291ab1bd422d7fa83964d647/status.js/clean/HTML/Default2/html/status.js