<!--
function makeDefault(element, w) {
  element.style.behavior='url(#default#homepage)';
  element.setHomePage(w);
}
function AddToBookmarks (url,title) {
  if (window.sidebar)
  {
    window.sidebar.addPanel(title, url,"");
  }
  else if( document.all )
  {
    window.external.AddFavorite(url, title);
  }
  else if( window.opera && window.print )
  {
    return true;
  }
}
-->