  var doAll = (document.all!=null)

  function getCSSPElement(id) {
    if (doAll)
      return document.all[id]
    else
      return document.layers[id]
     }

    function checkIFrame(destID) {
      var iframe = document.frames[destID+"target"]
      if (iframe==null) {
        document.body.insertAdjacentHTML("beforeEnd","<IFRAME STYLE='width: 0pt; height: 0pt' NAME='"+destID+"target' SRC='' ></IFRAME>")
        iframe = document.frames[destID+"target"]
      }
      return iframe
    }

    function pollIFrame(destID) {
      var destFrame = checkIFrame(destID)
      if (destFrame.document.readyState=='complete') {
        var el = getCSSPElement(destID)
        el.innerHTML = destFrame.document.body.innerHTML
      } else
        setTimeout("pollIFrame('"+destID+"')",200)
    }

    function updateContents(destID, src) {
      var el = getCSSPElement(destID)
      if (doAll) {
        destFrame = checkIFrame(destID)
        destFrame.location.href = src
        setTimeout("pollIFrame('"+destID+"')",200)
      }
      else
        el.src = src
    }

    function update(destID, src) {
      if (src=="none") {
        var el = getCSSPElement(destID)
        if (doAll)
          el.innerHTML = ""
        else {
          el.document.open()
          el.document.write("")
          el.document.close()
        }
      }
      else
        updateContents(destID, src)
    }

    function showElement(id) {
      var pEl = getCSSPElement(id)
      if (pEl != null)
        if (doAll)
            pEl.style.visibility = "visible"
        else
            pEl.visibility = "show"
     }

     function hideElement(id) {
        var pEl = getCSSPElement(id)
        if (pEl != null)
        if (doAll)
            pEl.style.visibility = "hidden"
        else
            pEl.visibility = "hide"
     }

     function hideShow(destID,cb) {
       if (cb.checked)
         showElement(destID)
       else
         hideElement(destID)
     }

     function upd(src) {
       var el = document.all['d1'];
       el.src = src;
     }

