baseURL = "http://big.cs.uni-bonn.de/";

//	document.write('<base href="' + baseURL + '" target="mainFrame" />');

if (window == top)
{
	top.location.replace(baseURL + "default.html?" + location.href);
}

var brVer = parseInt(navigator.appVersion.charAt(0));
var brName = navigator.appName;

var isNav = (navigator.appName == "Netscape");
var isMIE = (navigator.appName.indexOf("Microsoft") != -1);

function highlightMenuItem(n)
{
	if (window != top) parent.BIGmenuFrame.clicked(n);
}