<!--
if (self.location == top.location) {
if (navigator.appName!="Netscape" || navigator.appVersion.charAt(0)!="4" || window.innerHeight!=0 || window.innerWidth!=0) {
	location.href = "../index.html?" + escape(location.pathname);
	}
}

else
{
var lastOn=top.toc.lastOn;
top.toc.klick(thisImg);
}
// -->