function setMenuButtonStyle()
{
	// Get href filename
	var fileName=window.location.href.substring(window.location.href.lastIndexOf("/")+1,window.location.href.length);
	var strCmd="document.all.";
	
	// Strip of .html and build the button name
	var btnName="btn_"+fileName.substring(0,fileName.lastIndexOf("."))
	// Set style of button text to bold
	strCmd = strCmd + btnName + ".style.fontWeight='bold';";
	eval(strCmd);
}

function escapeFromFrame()
{
	// Determine, whether page is loaded inside a frameset
	if (parent.frames.length != 0)
		// Yes, so force the page loaded on top
		top.location.href = window.location.href;
}

setMenuButtonStyle();
escapeFromFrame();