function filenameOnly (InString)  {
	LastSlash=InString.lastIndexOf ('/', InString.length-1)
	OutString=InString.substring  (LastSlash+1, InString.length)
	return (OutString);	
}

function noHash (InString)  {
	if (InString.indexOf('#') >= 0) {
		Hash=InString.lastIndexOf ('#', InString.length-1)
		OutString=InString.substring  (0, Hash)
		return (OutString);	
	} else {
		return (InString);
	}
}

function pathOnly (InString)  {
	LastSlash=InString.lastIndexOf ('/', InString.length-1)
	OutString=InString.substring  (0, LastSlash+1)
	return (OutString);	
}

top.document.title = document.title;
document.write(pathOnly(self.location.href) + noHash(filenameOnly(self.location.href)) + '<BR>');