//Get the page file name
function GetPageName()
{
var url=window.location.href;//Get the complete URL
var tmp= new Array();//Temporary variable, save the split string
tmp=url.split("/ ");//Split according to "/"
var pp = tmp[tmp.length-1];//Get the last part, that is, the file name and parameters
tmp=pp.split("?");/ /Separate parameters and file names
return tmp[0];
}