// JavaScript Document
// GetPageFileName returns name of current file
function getPageFileName(){
	var f = document.location.href;
	var ix  = f.lastIndexOf('/');
	if ( ix > -1 ) f = f.substring( ix + 1 );
	return f;
	//var page  = parseInt( ( f.substring( f.indexOf('Page') + 4 ) ), 10 );
}