function navigate(url){
  detrochreed_content.document.location = baseURL + url;
}

function goto(url){
  document.location = url;
}