/* 

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){

	document.getElementById(divid).style.height = newH+"px";		

}

function setFlashReset(divid){

	document.getElementById(divid).style.height = "100%";

	document.getElementById(divid).style.width = "100%";		

}

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;

}

//check if browser window is larger than the div height, and reset if necessary



function setFlashCheckReset(divid){

	

    var myWidth = 0, myHeight = 0;

    if( typeof( window.innerWidth ) == 'number' ) {

      //Non-IE

      myWidth = window.innerWidth;

      myHeight = window.innerHeight;

    } else if( document.documentElement && ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {

      //IE 6+ in 'standards compliant mode'

      myWidth = document.documentElement.clientWidth;

      myHeight = document.documentElement.clientHeight;

    } else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {

      //IE 4 compatible

      myWidth = document.body.clientWidth;

      myHeight = document.body.clientHeight;

    }

	var ObjectHeight = parseInt(document.getElementById(divid).style.height);

	

	if (myHeight>=ObjectHeight){

		document.getElementById(divid).style.height = "100%";

		document.getElementById(divid).style.width = "100%";

	}

  //debugging

  //window.alert( 'Height = ' + myHeight + '\nObjectHeight = ' + ObjectHeight);



}