function doReplace(obj) {
    origDisplay = obj.style.display;
    obj.style.display = 'inline';
    var myW = obj.offsetWidth;
    obj.style.display = origDisplay;
    obj.outerHTML = "<img class='replaced"+obj.tagName+"' style='width: "+myW+"px;' class='menutitle' src='/button-2007-inline.php?text="+escape(obj.innerText)+"' alt='"+obj.innerText+"'/>";
}

function replaceHeaders() {
  var cDiv = document.getElementById('maincontent');

  var headers = cDiv.getElementsByTagName('H1');
  for(i = 0; i < headers.length; i++) { doReplace(headers[i]); }

  var headers = cDiv.getElementsByTagName('H1');
  for(i = 0; i < headers.length; i++) { doReplace(headers[i]); }

  headers = cDiv.getElementsByTagName('H2');
  for(i = 0; i < headers.length; i++) { doReplace(headers[i]); }

  headers = cDiv.getElementsByTagName('H2');
  for(i = 0; i < headers.length; i++) { doReplace(headers[i]); }

  headers = cDiv.getElementsByTagName('H3');
  for(i = 0; i < headers.length; i++) { doReplace(headers[i]); }

  headers = cDiv.getElementsByTagName('H3');
  for(i = 0; i < headers.length; i++) { doReplace(headers[i]); }

}