var thispage;
	var url=location.href;	
	var pos1, pos2, pos;
	var to;
	// are we not in a frameset
	if (top.frames.length == 0) 
		{
		// http slashes, file slashes on Unix
		pos1 = url.lastIndexOf( '/' );
		// file slashes on Windows
		pos2 = url.lastIndexOf( '\\' );
		pos = (pos2>pos1) ? pos2 : pos1;
		if ( pos != -1 )
			{
			thispage = url.substring( pos + 1 );
			// to = "home.htm?" + thispage;
			to = "home.htm" ;
			// on a modern browser we can use location.replace to rewrite the browser 
			// history, otherwise just set the location
			ver = parseInt(navigator.appVersion, 10);
			if ( ((navigator.appName == "Netscape") && (ver >= 3)) ||
				 ((navigator.appName == "Microsoft Internet Explorer") && (ver >= 4)) )
				location.replace(to);
			else
				location = to;
			};
		}