                    
function hidediv_player(num) {
var player = 'player'+num;
var player_outer =  player+'_outer';
flowplayer(player).stop();
flowplayer(player).setClip("");
document.getElementById(player_outer).style.visibility = 'hidden';
document.getElementById(player).style.visibility = 'hidden';
// setting top seems to prevent bug showdiv_player about
// scroll pos (see comment below)
document.getElementById(player_outer).style.top = '-1000px';
}
function showdiv_player(num, url, width, height, width_inner, height_inner) {
var player = 'player'+num;
var player_outer =  player+'_outer';
var vscroll = 0;
// thought I saw this introduce a bug in IE
// if you opened player1 and then scrolled and
// then opened player2 by clicking on its
// thumb, then player2's window was empty.
// need to test more.

vscroll = document.body.scrollTop;

if (vscroll == 0) {
    if (window.pageYOffset) {
        vscroll = window.pageYOffset;
    } else {
        vscroll = (document.body.parentElement) ? document.body.parentElement.scrollTop : 0;
    }
}

//vscroll = vscroll <= 128 ? 128 : vscroll;
if (num == 2) {
        document.getElementById(player_outer).style.left = '141px';
}

var windowHeight = window.innerHeight != null ? window.innerHeight : 
	document.documentElement && document.documentElement.clientHeight ?  
	document.documentElement.clientHeight : document.body != null ? 
	document.body.clientHeight : null;


document.getElementById(player).style.width = width_inner + 'px';
document.getElementById(player).style.height = height_inner + 'px';
document.getElementById(player_outer).style.width = width + 'px';
document.getElementById(player_outer).style.height = height + 'px';
document.getElementById(player_outer).style.visibility = 'visible';
document.getElementById(player).style.visibility = 'visible';
document.getElementById(player_outer).style.top = (windowHeight/2-height/2+vscroll)+'px';
document.getElementById(player_outer).style.left = (document.body.clientWidth/2-width/2)+'px';
flowplayer(player).setClip(url);
flowplayer(player).getClip(0).update();
flowplayer(player).play();
}


