/* 
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";
	window.scrollTo( 0, 0 );
}
function setFlashHeight( divid, newH ) {
	document.getElementById( divid ).style.height = newH + "px";
	window.scrollTo( 0, 0 );
}
function setFlashSize( divid, newW, newH ) {
	setFlashWidth( divid, newW );
	setFlashHeight( divid, newH );
	window.scrollTo( 0, 0 );
}
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;
}