0 ) {
	     $result=mysql_fetch_array($results); 

	     echo "r=";
	print_r($result);
	     $user=$result['user'];
            $sesion=True;
            $_SESSION['sesion']=$sesion;
            $_SESSION['user']=$user;
        }



    }




?>