function getIndexFrame()
{
	// assumes .php file named, not directory
	var my_href = self.location.href
	var slash = my_href.lastIndexOf("/")
	return my_href.substring(0, slash) + "/index.php"
}

function endsWith(s, subs, nocase)
{
	if (nocase) {
		s = s.toUpperCase()
		subs = subs.toUpperCase()
	}
	return (s.substring(s.length - subs.length, s.length) == subs)
}

function urlWithoutParms(url)
{
	var qmark = url.indexOf("?")
	return (qmark == -1) ? url : url.substring(0, qmark)
}

function myFilename()
{
	var my_href = self.location.href
	var slash = my_href.lastIndexOf("/")
	return my_href.substring(slash+1, my_href.length)
}

var topNoParms = urlWithoutParms(top.location.href)
if (endsWith(topNoParms, ".php", true)) {
	var indFrame = getIndexFrame()
	if (indFrame != topNoParms) {
		top.location.href = indFrame + "?" + myFilename()
	}
}