function fixProgTitle(NormalId)
{
  var normal = document.getElementById(NormalId);
  var offset = 0 - normal.offsetHeight - 1;
  document.write("<style>#" + NormalId + " {   margin-top: " + offset + "px; }</style>");
}