var tools={}
tools.navigate = function(anchor) {
  anchor.blur();
  this.navBarLinksEnabled=true;
  if (this.navBarLinksEnabled) 
    window.location.href=anchor.href;
  return false;
}