// JavaScript Document
//Controls breadcrumbs//
var url = window.location.href;
var loc = url.indexOf('?tab=');
if (loc > -1) {
    var tab = url.substring(loc + 5, url.length);
    if (document.all.portal && document.all.portal_link) {
        document.all.portal_link.href = '/' + tab + '/index.html';
        document.all.portal_link.innerText = tab.toUpperCase();
        document.all.portal.style.display = '';
    }
}