// parse the filename from the page url
var pageurl = (new String(document.location));
var idstart = pageurl.lastIndexOf("/provider/") + 10
var idstop = pageurl.lastIndexOf(".shtml")
var fname = pageurl.substring(idstart,idstop);
//
function fw(page,title)
{
if (page == fname) {
result = '<a href="'+page+'.shtml" title="'+title+'"><span style="font-weight:900">'+title+'</span></a>';
} else {
result = '<a href="'+page+'.shtml" title="'+title+'"><span style="font-weight:100">'+title+'</span></a>';
}
return result;
}