<!--
function start() {
if (window.top==window.self) {
	currpage = location.href;
	currpage = currpage.substr(currpage.lastIndexOf("/")+1);
	location.href="frameset.php?mainpage="+currpage;
	}
else {
	parent.launchAll();
	}
}
//-->