var tmploc=location.pathname;
tmploc=tmploc.toLowerCase();
tmploc=tmploc.substring(tmploc.indexOf("/library", 1));

if( self == top ) {

document.write('<A HREF="/library/default.asp?URL=' + tmploc + '" TARGET="_top"><IMG SRC="/library/images/showtoc.gif" BORDER=0 ALT="Click to show the Table of Contents"></A><br clear="all">');

}