if ($_SERVER["PHP_SELF"] == "/index.php") // PROFILE PAGE
{
	if (!isset($_SESSION['userid']))
	{ echo "<script type='text/javascript'>window.top.location.href='user_login.php';</script>"; exit; }
}