function minHeight(objectID, minHeight) {	
	if (document.getElementById) {
		var c_height = document.getElementById(objectID).offsetHeight;
		
		if (c_height < minHeight) {
			document.getElementById(objectID).style.height = minHeight + 'px';
		}
	}
}

function fixFlash(){
theObjects = document.getElementsByTagName("object");
for(var i = 0; i < theObjects.length; i++){
		theObjects[i].outerHTML = theObjects[i].outerHTML;
}
}