rem: newHref(parent.header.document,newPlayer); 
context: function switchPlayer(player_List){	var newPlayer = player_List.options[player_List.selectedIndex].value;	setCookie('SlimServer-player',newPlayer);		parent.playlist.location="playlist.html?player=" + newPlayer;	window.location="status.html?player=" + newPlayer;		newHref(parent.header.document,newPlayer);	newHref(parent.browser.document,newPlayer);}
meta: 6551	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6551/54fce48c416415e9fe0ccd5d47fb4d1291bfdaed/scripts.js/clean/HTML/Fishbone/html/scripts.js