rem: var status = this.document.getElementById('status'); var header = this.document.getElementById('header');   if (document.all) { height = document.body.clientHeight; 
add: if (playlist) { var header = playlist.getElementById('header');            top.document.getElementById('player_frame').rows = header.clientHeight+', *'; 
context: function playlistResize(playlist) {	var status = this.document.getElementById('status');	var header = this.document.getElementById('header');		// special case for IE (argh)	if (document.all) //if IE 4+	{		height = document.body.clientHeight;	}	else if (document.getElementById) //else if NS6+	{		height = window.innerHeight;	}	playlist.style.height = height-header.clientHeight;}
meta: 6551	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6551/fee2673fa08dbe6513b59102985a11c429f8425d/scripts.js/clean/HTML/Fishbone/html/scripts.js