function setFlashHeight(h){document.getElementById("flashdiv").height=h+10;document.getElementById("flashobject").height=h+10;}