parent.document.title=document.title; // makes the title shown in the browser bar or tab the name of the document. necessary for frame-based sites.

function framePrint(){
	parent['MainFrame'].focus();
	parent['MainFrame'].print();
}

// *****************************************************************

function FrameManager()
{
	var filepath = document.location.pathname;
	var indexfilename = 'index.htm'; // sets name of frame file
	var indexlocation = '/'; // sets location of frame file
	var targethref = indexlocation + indexfilename + "?" + filepath.substring(indexlocation.length);
	if(self.location==top.location)
		self.location=targethref;
}