rem: if (document.getElementById("song").innerHTML != song) { 
add: if (document.getElementById("song").innerHTML != songstring) { 
context: function displayCurrentSong(song, artist, album) {        // Checking first prevents flicker (at least with Firefox) on slow computers.	var songstring = "<b>" + song;	if (album != "") songstring += "</b> from <b>" + album;	if (artist != "") songstring += "</b> by <b>" + artist;	songstring += "</b>";	if (document.getElementById("song").innerHTML != song) {	       	document.getElementById("song").innerHTML = songstring;	}}
meta: 6551	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6551/76c2efa6f7f79a8af6628f1c5bf71a4a1b67d6bb/status.js/buggy/HTML/Default2/html/status.js