context: function refreshPlaylist(newPlayer) {	if (newPlayer == null) newPlayer = player;	try {		if (parent.playlist.location.host != '') {			// Putting a time-dependant string in the URL seems to be the only way to make Safari			// refresh properly. Stitching it together as below is needed to put the salt before			// the hash (#currentsong).			var plloc = top.frames.playlist.location;						var newloc = plloc.protocol + '//' + plloc.host + plloc.pathname				+ plloc.search.replace(/&d=\d+/, '') + '&d=' + new Date().getTime();						newloc=newloc.replace(playerExp, '=' + newPlayer);			newloc=newloc.replace(/&start=\d+&/, '&');			newloc=newloc + '#currentsong';			plloc.replace(newloc);			//DumperPopup([plloc,plloc.search.replace(playerExp, '='+newPlayer),plloc.search.replace(/&d=\d+/, '')]);		}	}	catch (err) {		// first load can fail, so swallow that initial exception.	}}
meta: 6551	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6551/2e1b109f76275cc8d9f33b209476445026f81780/ajax.js/clean/HTML/Fishbone/html/ajax.js