function getFileName()
{
	var url = document.URL,
	i = url.lastIndexOf('/') + 1,
	j = url.indexOf('#', i),
	k = url.indexOf('?', i);
	if(-1 == j) {j = url.length;}
	if(-1 == k) {k = url.length;}
	return url.substring(i, Math.min(j, k));
}

if (top.frames.length == 0)
{
	ver = parseInt(navigator.appVersion, 10);
	if ( ((navigator.appName == "Netscape") && (ver >= 3)) ||
         ((navigator.appName == "Microsoft Internet Explorer") && (ver >= 4)) )
		location.replace("index.html?page=" + getFileName());
	else
		location = "index.html?page=" + getFileName();
};