function _gf(x){return x.substring(x.lastIndexOf("index.html")+1,x.length);}; 
var home_page_name = "index-2.html";  // sets the name of the default page
function _gf(x){return x.substring(x.lastIndexOf("index.html")+1,x.length);};
var filename_and_query = _gf(location.pathname) + location.search;   
if (filename_and_query==""){(filename_and_query=home_page_name);}