function change_textbox_size(size)
		{
			var el = document.getElementById("comment");
			var height = parseInt(el.style.height);
			if(!height && el.offsetHeight)
				height = el.offsetHeight;
			height += size;
			if(height < 20) 
				height = 20;
			el.style.height = height+"px";
		}