<!--
	if (window.parent == window.top &&
			window.parent != window.self &&
			(window.name == "FrameMain" || window.name == "FrameMenu") &&
			(window.parent.location.hostname == "tif.dk" ||
			 window.parent.location.hostname == "www.tif.dk" ||
			 window.parent.location.hostname == "216.147.115.118"))
	{
		menuSync();
	}
	else
	{
	  var str = new String();
		str += "http://";
		str += window.location.hostname;
		str += "/index.php?url=";
		str += window.location;
		window.top.location=str;
	}
	
	function menuSync()
	{
		var i, j, iBestBet, iBestBetCount, bInBusiness;
		var strPath;
		var collAnchors;
		var strIdTxt = new String();
		var strId = new String();
		var iId;


		iBestBetCount = 0;
		iBestBet = -1;
		bInBusiness = false;
		collAnchors = window.parent.frames["FrameMenu"].document.anchors;
		strPath = window.parent.frames["FrameMain"].location.href;
		for (i=0; i<collAnchors.length; i++)
		{
			bInBusiness = true;
			for (j=0; j<strPath.length; j++)
			{
				if (collAnchors[i].href.charAt(j) != strPath.charAt(j))
				{
					if (iBestBetCount < j)
					{
						iBestBetCount = j;
						iBestBet = i;
					}
					bInBusiness = false;
					break;
				}
			}
			if (bInBusiness)
				break;
		}
		if (!bInBusiness && iBestBet > -1)
		{
			i = iBestBet;
			bInBusiness = true;
		}
		if (bInBusiness)
		{
			// Reset 'old' node
			if (window.parent.strIdOfLastFoundHref.length > 2)
				window.parent.frames["FrameMenu"].document.getElementById(window.parent.strIdOfLastFoundHref).style.backgroundColor = "transparent";

			// Set and store the new node
			strIdTxt += eval("'"+collAnchors[i].id+"Txt"+"'");
			window.parent.frames["FrameMenu"].document.getElementById(strIdTxt).style.backgroundColor = "#FF4500";
			window.parent.frames["FrameMenu"].document.getElementById(strIdTxt).style.color = "#FFFFFF";
			window.parent.strIdOfLastFoundHref = strIdTxt;

			// Ensure that the tables that encapsulates the node is unfolded
			strId = collAnchors[i].id;
			iId = strId.substring(2,strId.length);
			iId = Math.floor(iId);
			iId = Math.floor(iId/100);
			while (iId>100)
			{
				strId = eval("'id"+iId+"Tbl"+"'");
				window.parent.frames["FrameMenu"].document.getElementById(strId).style.display = "";
				iId = Math.floor(iId/100);
			}
		}
	}
	
	function WriteLastModified()
	{
		var Year;
		var timestamp;
		timestamp = new Date(document.lastModified)
		Year = timestamp.getYear();
		while (Year > 100)
			Year = Year - 100;
		if (Year < 10)
			Year = "0" + Year;
		document.write(timestamp.getDate() + "/" + (timestamp.getMonth() + 1) + "-" + Year);
	}
	
//-->