<!--
var loadpage="/loadpage.pl";
current=window.self.location.pathname;
var re = new RegExp("loadpage.pl", "i");
if (!re.test(parent.location.href)) {
	window.location.replace (loadpage + '?page=' + current);
}
//-->