//ページ ファイル名を取得します
function GetPageName ()
{
var url=window.location.href;//完全な URL を取得します
var tmp= new Array();//一時変数、分割文字列を保存します
tmp=url .split("/ ");//「/」に従って分割します
var pp = tmp[tmp.length-1];//最後の部分、つまりファイル名とパラメータを取得します
tmp =pp.split("?");/ /パラメータとファイル名を分離
return tmp[0]>}