function add_fav(url, title) {
  var actionkey = 'Ctrl-D'
  var agent = navigator.userAgent.toLowerCase()
  if (agent.indexOf("opera") != -1) {
    actionkey = 'Ctrl-T'
  }
  if (window.external) {
    window.external.AddFavorite(url, title)
  }
  else {
    if (window.sidebar) {
      window.sidebar.addPanel(title, url, '')
    }
    else {
     alert('Press ' + actionkey + ' to bookmark this page.')
	}
  }
}