function update_frames() {
  if (parent.frames['title']) {
    if (parent.frames['title'].location.href.indexOf(top_menu_page) == -1) {
      if (document.images) {
        parent.frames['title'].location.replace(path_modifier + "frames/" + top_menu_page) }
      else {
        parent.frames['title'].location = path_modifier + "frames/" + top_menu_page }
    }
  }
}

update_frames()