codice:
if ( $op != 'userinfo' || $op != 'edituser' )  
{
	header("Location: index.php");
}