function setFlashHeight(divid, newH) {
document.getElementById(divid).style.height = newH+"px";
}