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

}



function resizeFlash(w,h){
	//alert("w"+w +" h"+h);
	setFlashSize("flashid", w, h);
}

function resize() {

 var viewportwidth;

 var viewportheight;



 // the more standards compliant browsers (mozilla/netscape/opera/IE7) use window.innerWidth and window.innerHeight


 if (typeof window.innerWidth != 'undefined')
 {

      viewportwidth = window.innerWidth,

      viewportheight = window.innerHeight

 }



// IE6 in standards compliant mode (i.e. with a valid doctype as the first line in the document)


 else if (typeof document.documentElement != 'undefined'
     && typeof document.documentElement.clientWidth !=
     'undefined' && document.documentElement.clientWidth != 0)
 {

       viewportwidth = document.documentElement.clientWidth,

       viewportheight = document.documentElement.clientHeight

 }

 

// older versions of IE


 else
 {

       viewportwidth = document.getElementsByTagName('body')[0].clientWidth,

       viewportheight = document.getElementsByTagName('body')[0].clientHeight

 }


    setFlashSize("flashid", viewportwidth-16, viewportheight-16);


}