/* 
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(newW){
	document.getElementById("flash").style.width = newW+"px";
}
function setFlashHeight(newH){	
	document.getElementById("flash").style.height = newH+"px";
}
function setFlashSize(newW, newH){
	setFlashWidth("flash", newW);
	setFlashHeight("flash", 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 getScroll() {
	var scrolledDown = window.scrollY;
	if (scrolledDown == null){
		scrolledDown = document.body.scrollTop;
	}
	if (scrolledDown == null){
		scrolledDown = document.body.parentNode.scrollTop;
	}
	return scrolledDown;
}

function setScroll(num) {
	window.scroll(0, num);
}


function getWindowHeight() {
  return document.compatMode=='CSS1Compat' && !window.opera?document.documentElement.clientHeight:document.body.clientHeight;
}