function writeLayer (id, html) {
  if (document.layers) {
    var l = document[id];
    l.document.open();
    l.document.write(html);
    l.document.close();
  } else if (document.all) {
    document.all[id].innerHTML = html;
  } else if (document.createRange) {
    var l = document.getElementById(id);
    var r = document.createRange();
    while (l.hasChildNodes())
      l.removeChild(l.lastChild);
    r.setStartAfter(l);
    var docFrag = r.createContextualFragment(html);
    l.appendChild(docFrag);
  }}