function article_bookmark(desc, url) {
  var url = document.location.href;
  var desc = document.getElementsByTagName("title")[0].innerHTML;
  if (document.all) {
    window.external.AddFavorite(url, desc); }
  else if (window.sidebar) {
    window.sidebar.addPanel(desc, url, "") }
}

function openWindow(url) {
  var w = window.open(url,"win","height=400,width=400,resizable,scrollbars,");
}