function sz()
{
  var s = this.value.split('\n');
  var r = 1 + s.length;
  for (var i = 0; i < s.length; i++)
    if (s[i].length >= this.cols)
      r += Math.floor(s[i].length / this.cols);
  r = Math.min(Math.max(r, 15), 25);
  if (r > this.rows)
    this.rows = r;
}