function jumpto(url) {
  window.event.cancelBubble = "true";
  window.location = url
}

function displaymainframe(mainframe) {
  window.event.cancelBubble = "true";
  window.parent.frames("mFrame").location = mainframe
}

function displaydocframe(docframe) {
  window.event.cancelBubble = "true";
  window.parent.frames("mFrame").docframe.location = docframe
}