function auto_grow(element) { element.style.height = "5px"; element.style.height = (element.scrollHeight)+"px"; }