function resizeFlashDiv(h) {
			var frame = document.getElementById("flashlogo");  
			var htmlheight = h;  
			frame.style.height = htmlheight + "px";
}