function Framify(Page)
{
    var I;

    //alert("Got to \"Framify\"...");
    if (Page == "") {
	Page = document.location + "";	// concatenate to ensure stringness
	//alert("Page1=\"" + Page + "\"");
	I = Page.lastIndexOf("/");
	//alert("I: " + I);
	if (I >= 0) Page = Page.substr(I + 1);
	//if (Page == "TOC.html" || Page == "TOC.php") {
	//    Page = "Home.php";	// may need to auto-go to Home.php...
	//}
    }
    //alert("Page2=\"" + Page + "\"");
    if (parent.location == document.location) {
        document.location.href = "Framify.php?Page=" + Page;
    }
    return(true);
}