var flash_obj_id = "myFlash";

// Set to false when going live...
var debug_mode = false;

// Correctly grab a page element...
function grabElement(elemID) {
     if(document.all) retElement = document.all[elemID];
     if(document.layers) retElement = document.layers[elemID];
     if(document.getElementById && !document.all) retElement = document.getElementById(elemID);
     return retElement;
}

// Set the height of the flash object...
function setFlashHeight(inHeight) {
	if(debug_mode) alert("Resizing " + flash_obj_id + " to " + inHeight + " pixels tall!");
	grabElement(flash_obj_id).style.height = inHeight + "px";
}

// Get the height of the flash object...
function getFlashHeight() {
	return grabElement(flash_obj_id).clientHeight;
}