// JavaScript Document - Flash Video Scaler

// resets DIV and Flash element heights to specified value
function setFlashHeight(divid, flashid, newH){
	document.getElementById(divid).style.height = newH + "px";
	document.getElementById(flashid).style.height = newH + "px";
};

// returns true if browser supports resizing flash, false if not. 
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;
};