document.write("<!--  BEGIN SITE NAVIGATION DISPLAY --> ");
document.write('<div style="font-weight: bold; font-size:.82em;">');
thePath = '';
loc = '' +location.href;
paths = loc.substring(7).split('/');
file = loc.substring(0,6);
for (i=0, n=paths.length;i<n;i++) {
  file += "/" + paths[i];
  thePath += '> <a href="' + file + '">' + paths[i] + '<\/a> ';
}
document.write('You are here: ' + thePath.substring(1));
document.write("<br /><br /></div> <!--  END SITE NAVIGATION DISPLAY --> ");