function bookmarksite(title, url){
       if (document.all)
       window.external.addfavorite(url, title);
       else if (window.sidebar)
       window.sidebar.addPanel(title, url, "")
}



function toggle(obj) {
  var el = document.getElementById(obj);
  if ( el.style.display != 'none' ) {
    el.style.display = 'none';
  }
  else {
    el.style.display = '';
  }
}



function doNothing(){}
function popUp(winFile, winWidth, winHeight) {
window.open(winFile, '', 'width=' + winWidth + ',height=' + winHeight); }