/* 
Methods for resizing the flash stage at runtime.

setFlashWidth(divid, newW)
divid: id of the div containing the flash movie.
newW: new width for flash movie

setFlashWidth(divid, newH)
divid: id of the div containing the flash movie.
newH: new height for flash movie

setFlashSize(divid, newW, newH)
divid: id of the div containing the flash movie.
newW: new width for flash movie
newH: new height for flash movie

canResizeFlash()
returns true if browser supports resizing flash, false if not. 
*/

function setFlashWidth(divid, newW){
    document.getElementById(divid).style.width = newW+"px";
}
function setFlashHeight(divid, newH){
    if (navigator.userAgent.toLowerCase().indexOf("msie")==-1&&(window.innerHeight-16)<newH)
    	document.getElementById(divid).style.paddingLeft = "16px";
    else
    	document.getElementById(divid).style.paddingLeft = "0px";
    document.getElementById(divid).style.height = newH+"px";
    //    document.scrollto(0,0);
}
function setFlashSize(divid, newW, newH){
    setFlashWidth(divid, newW);
    setFlashHeight(divid, newH);
}
function canResizeFlash(){
    var ua = navigator.userAgent.toLowerCase();
    var opera = ua.indexOf("opera");

    if( document.getElementById ){
    	if(opera == -1) return true;
    	else if(parseInt(ua.substr(opera+6, 1)) >= 7) return true;
    }
    return false;
}