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;
}
function setFlashHeight(divid, inHeight){
	//alert(divid+" "+inHeight);
	grabElement(divid).style.height = inHeight + "px";
}