/* 	Test to see if the document that contains this script
	is opened via a frameset or not. If it isn't (the document and 
	its parent is the same document), redirect the page to the frameset 
	and load it via the frameset, frameset.php?Page=current page

	frameset.php must be updated to be able to dynamically load a requested page. 
	
	The php source to perform this check might look like this:
	<?php
		//the Javascript calls the frameset.php page with the variable Page that will contain the originally requested url
		//if no page is explicitely requested (Page==""), use a default page (here entitled main.php)
		if ($Page=="") $Page='main.php';
		echo"<frame border=\"0\" name=\"main\" scrolling=\"auto\" src=\"$Page\">";
	?>

*/

if (self.location==parent.location) self.location='/frameset.php?Page='+self.location;