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