/* 

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 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;

}