rem: $('playlist').height = document.body.clientHeight - document.getElementById('playlistframe').offsetTop; 
add:  top.document.getElementById('player_frame').rows = $('playlistStatus').offsetTop+20+', *'; 
context: function resizePlaylist(page) {	$('playlist').height = document.body.clientHeight - document.getElementById('playlistframe').offsetTop;}
meta: 6551	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6551/4c4eb1d6fe7d646569c38885802e6297be9a0440/scripts.js/buggy/HTML/Fishbone/html/scripts.js