// Function to return filename portion from URL
// required for use by F-Source menu in JSF function
// and jQuery global Anchor jump fix
function getFileName(url) {
// var url=document.URL,
var i=url.lastIndexOf('/')+1,
j=url.indexOf('#',i),
k=url.indexOf('?',i);
if(-1==j) {j=url.length;}
if(-1==k) {k=url.length;}
return url.substring(i,Math.min(j,k));
}