// Find the flash menu file
function changeHeight(newHeight){
    var whatObj = document.getElementById('flashSlide');
    whatObj.height = newHeight;
}
function getFlashMovie(movieName) {
	var isIE = navigator.appName.indexOf('Microsoft') != -1;
	return (isIE) ? window[movieName] : document[movieName];
}

// Find the flash menu file
//function changeHeight(newHeight){
//	var whatObj = getFlashMovie('flashMenu');
//	whatObj.height = newHeight;
//}
//function getFlashMovie(movieName) {
//	var isIE = navigator.appName.indexOf('Microsoft') != -1;
//	return (isIE) ? window[movieName] : document[movieName];
//}