var from = 14;
var to   = 18;

function Grow (a,size) {
  if (!size) size = from;
  size++;
  document.getElementById(a).style.fontSize = size + "px";
  document.getElementById(a).style.lineHeight = (28 - size) + "px";
  if (size < to) { 
    self.setTimeout("Grow('" + a + "'," + size + ");",20);
    }
}
function Shrink (a,size) {
  if (!size) size = to;
  size--;
  document.getElementById(a).style.fontSize = size + "px";
  document.getElementById(a).style.lineHeight = (28 - size) + "px";
  if (size > from) { 
    self.setTimeout("Shrink('" + a + "'," + size + ");",20);
    }
}