var doAll = (document.all!=null)

  function getCSSPElement(id) {
    // Return the positioned element with
    // the specified 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)
    }