if (location.pathname && location.pathname!="/index.php3") {
	location.href="index.php3?page="+location.pathname.substring(1);
}