var url=document.location.toString();if(url.match('#')){jQuery('.nav-tabs a[href="#'+url.split('#')[1]+'"]').tab('show');}
jQuery('.nav-tabs a').on('shown.bs.tab',function(e){if(history.pushState){history.pushState(null,null,e.target.hash);}else{window.location.hash=e.target.hash;}});